OCaml back end for Idris
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
https://twitter.com/ulfnorell/status/727543430335873028
'nuff said
License:Other