openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
G
generic-ads
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 5 hours
ago. based on code collected
1 day
ago.
Mar 28, 2023 — Mar 28, 2024
Showing page 1 of 1
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Cleaned up some artifacts from the earlier HFunctor versions
Andrew Miller
More...
almost 11 years ago
Cosmetic
Andrew Miller
More...
almost 11 years ago
Now with agda sample
Andrew Miller
More...
almost 11 years ago
Refactored a bit, added binary serialization using cereal
Andrew Miller
More...
almost 11 years ago
Now with RedBlack+ tree\!
Andrew Miller
More...
almost 11 years ago
Added pair type and if statement
Andrew Miller
More...
almost 11 years ago
New finally-encoded version of ADS. Uses PHOAS. Semantics parameterized by monad as before.
Andrew Miller
More...
almost 11 years ago
updated gitignore
Andrew Miller
More...
almost 11 years ago
Changed binary tree to binary search tree, added paramorphism to Merkle tree
Andrew Miller
More...
about 11 years ago
Now with Dot file output
Andrew Miller
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
Andrew Miller
More...
about 11 years ago
Prove and Verify working - had to use unsafecoerce. Extractor dunno.
Andrew Miller
More...
about 11 years ago
typeable isn't quite working...
Andrew Miller
More...
about 11 years ago
readme and gitignore
Andrew Miller
More...
about 11 years ago
Real commit
Andrew Miller
More...
about 11 years ago
Initial commit
Andrew Miller
More...
about 11 years ago
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree