Giters

jheiling / idris-extras

Some useful functions for idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idris

idris-extras

About

Some useful functions for idris

idris

License:The Unlicense

Languages

Language:Idris 91.9%Language:Shell 8.1%