Snippets by mjg.py3

Language	Title	Created	Visibility
Idris	Idris String Replace (Total)		Public
Idris	Bounded length string		Public