donovancrichton

Donovan Crichton's repositories

A back-propagating artificial neural network in Haskell

Language:Haskell300

Bachelor Thesis (Hons 1): A Verified Type-Preserving Crossover Method for Higher-Order Abstract Syntax Trees.

Language:Idris100

A repo of the talks I've given

Language:TeX100

The talks I do for the ANU Functional Programming Group.

Language:TeX000

000

A purely functional programming language with first class types

Language:IdrisNOASSERTION000

Language:Haskell000

My Tertiary Qualifications.

000