heyting-algebras-0.0.1.0: ChangeLog.md
# Revision history for heyting-algebra ## 0.0.1.0 -- YYYY-mm-dd * First version. Released on an unsuspecting world.
# Revision history for heyting-algebra ## 0.0.1.0 -- YYYY-mm-dd * First version. Released on an unsuspecting world.