# Revision history for heyting-algebra

## 0.0.1.0 -- YYYY-mm-dd

* First version. Released on an unsuspecting world.