recentpopularlog in

ianweatherhogg : for   31

Learn You an Agda - William DeMeo
This is a markdown version of the tutorial
Learn You an Agda and Achieve Enlightenment!
by Liam O’Connor-Davis. I made this version for my own …
agda  helloworld  proof  peano  recursion  math  emacs  for  all  5* 
november 2014 by ianweatherhogg

Copy this bookmark:

to read