Snippets by Arets Paeglis

Language	Title	Created	Visibility
Idris	Dependent type example		Public