Geeks
alexhumphreys
/
idrall
Dhall bindings for Idris
Primary Language
Idris
Mozilla Public License 2.0
MPL-2.0
idrall GitHub
Markdown
Readme
4
Issues
40
Stargazers
5
Watchers
Watchers
eemailme
gallais
Glasgow, Scotland
jhcloos
mattpolzin
@opallabs
ohad