0
I Use This!
Inactive

Commits : Listings

Analyzed about 5 hours ago. based on code collected 1 day ago.
Mar 28, 2023 — Mar 28, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Cleaned up some artifacts from the earlier HFunctor versions More... almost 11 years ago
Cosmetic More... almost 11 years ago
Now with agda sample More... almost 11 years ago
Refactored a bit, added binary serialization using cereal More... almost 11 years ago
Now with RedBlack+ tree\! More... almost 11 years ago
Added pair type and if statement More... almost 11 years ago
New finally-encoded version of ADS. Uses PHOAS. Semantics parameterized by monad as before. More... almost 11 years ago
updated gitignore More... almost 11 years ago
Changed binary tree to binary search tree, added paramorphism to Merkle tree More... about 11 years ago
Now with Dot file output More... about 11 years ago
Implemented verify. Now works with an annotated tree... annotate :: HFix h -> HFix (Annot h) and a more efficient prover that doesn't contain a cata More... about 11 years ago
Prove and Verify working - had to use unsafecoerce. Extractor dunno. More... about 11 years ago
typeable isn't quite working... More... about 11 years ago
readme and gitignore More... about 11 years ago
Real commit More... about 11 years ago
Initial commit More... about 11 years ago