Skip to content
being a hooliganistic type theory implementation
Branch: master
Clone or download
Latest commit a8f3db9 Apr 10, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples [ test ] wee runner Apr 10, 2019
src [ test ] wee runner Apr 10, 2019
.gitignore
README.md Initial commit Apr 9, 2019

README.md

Box

being a hooliganistic type theory implementation

You can’t perform that action at this time.