RossMeikleham / Idris-Examples

Random Snippets Of Idris Code I've Written

Idris Examples

Snippets of Idris code I've written, including proofs, algorithms, etc.