3 ms·
(these are just cribbed from the agda wikipedia page but..) check these out: http://www.youtube.com/playlist?p=B7F836675DCE009C http://www.youtube.com/playlist
by shaunxcode 13y ago
(these are just cribbed from the agda wikipedia page but..) check these out:
http://www.youtube.com/playlist?p=B7F836675DCE009C http://www.youtube.com/playlist?p=B7F836675DCE009C
http://www.cse.chalmers.se/~ulfn/papers/tphols09/tutorial.pdf http://www.cse.chalmers.se/~ulfn/papers/tphols09/tutorial.pd...