Random Snippets Of Idris Code I've Written
Snippets of Idris code I've written, including proofs, algorithms, etc.