Home - wjzz/NotesAndCheatsheets GitHub Wiki

Welcome to the NotesAndCheatsheets wiki!

Haskell topics

Agda source notes

CoqTricks

https://raw.github.com/pigworker/MetaprogAgda/master/notes.pdf

http://www.cl.cam.ac.uk/~ok259/agda-course-13/