Donovan Crichton's repositories
Honours-Thesis
Bachelor Thesis (Hons 1): A Verified Type-Preserving Crossover Method for Higher-Order Abstract Syntax Trees.
ANU-FP
The talks I do for the ANU Functional Programming Group.
Language:TeX000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
Language:Haskell000
Qualifications
My Tertiary Qualifications.
000