/idris-snippets

Collection of Idris snippets

Primary LanguageIdrisMIT LicenseMIT

idris-snippets

Collection of Idris snippets