Skip to content

Instantly share code, notes, and snippets.

@jcoveney

jcoveney/gist:cb06630f4d2867ea3adb

Created June 23, 2014 03:02
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jcoveney/cb06630f4d2867ea3adb to your computer and use it in GitHub Desktop.
Save jcoveney/cb06630f4d2867ea3adb to your computer and use it in GitHub Desktop.
Download ZIP
Dependent types
Raw
gistfile1.txt
http://www.infoq.com/presentations/scala-idris
http://www.cs.nott.ac.uk/~txa/publ/ydtm.pdf
http://coq.inria.fr/stdlib/Coq.Sorting.Mergesort.html
http://mazzo.li/posts/AgdaSort.html#fnref7
http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf
https://gist.github.com/timjb/9043255
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.InductiveFamilies
http://www.cse.chalmers.se/~ulfn/darcs/AFP08/LectureNotes/AgdaIntro.pdf
http://eb.host.cs.st-andrews.ac.uk/drafts/pe-edsl.pdf
http://research.microsoft.com/en-us/um/people/gonthier/4colproof.pdf
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment