Public snippets

Language	Title	Owner
Idris	Hello World!	elivais777
Idris	Idris String Replace (Total)	mjg.py3
Idris	De Bruijn indices	rightfold
Idris	Merge sort	rightfold
Idris	HTTP response	rightfold
Idris	Bounded length string	mjg.py3
Idris	Dependent type example	Arets Paeglis
Idris	Safe matrix addition	rightfold
Idris	Idris multifile	Petter Rasmussen