Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Dependently typed FizzBuzz

Name: Anonymous 2015-03-23 5:49

https://gist.github.com/david-christiansen/3660d5d45e9287c25a5e

Name: Anonymous 2015-03-27 9:47

Primary Coq resources
https://github.com/coq/coq
https://coq.inria.fr/distrib/current/refman/
https://coq.inria.fr/cocorico/
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -