Snippets by rightfold

Language	Title	Created	Visibility
Idris	De Bruijn indices		Public
Idris	Merge sort		Public
Idris	HTTP response		Public
Idris	Safe matrix addition		Public