idris-ocaml icon indicating copy to clipboard operation
idris-ocaml copied to clipboard

verified publisher icon ziman
→

Metadata

OCaml back end for Idris

OCaml back-end for Idris

https://twitter.com/ulfnorell/status/727543430335873028

'nuff said

← Metadata

22
Stars
3
Forks
Watchers

Owner

verified publisher icon ziman

Metadata

OCaml back end for Idris

Back