Explore >> Select a destination

You are here

 sitr.us
sitr.us ? Category Theory proofs in Idris
| | kuruczgy.com
Introduction to dependent types and the Curry-Howard isomorphism
1.5 parsecs away

Travel
| |
| | adam.chlipala.net
InductiveTypes
2.6 parsecs away

Travel
| |
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
5.0 parsecs away

Travel
| |
| | localtvwhnt.wordpress.com
Wildlife Rehabbers Furious Over New State Guidelines Forbidding Rescue/Rehab of 7 Species | Wolf Howls
93.6 parsecs away

Travel
| Reblogged on WordPress.com