GitHub repository: ziman/idris-ocaml
Primary language: Haskell
Created: 2016-05-03T17:20:33Z
Description: OCaml back end for Idris