gidti
gidti copied to clipboard
Book: Introduction to Dependent Types with Idris
Results
1
gidti issues
Sort by
recently updated
recently updated
newest added
[Functional programming with bananas, lenses, envelopes and barbed wire](https://maartenfokkinga.github.io/utwente/mmf91m.pdf) - this paper has some really nice ideas about higher order functions that translate well to proofs [forall x: Calgary Remix](http://forallx.openlogicproject.org/)...