Giters

ocaml-pirates / idris-ocaml

OCaml back end for Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

OCaml back end for Idris

License:Other

Languages

Language:Haskell 100.0%