Malfunction backend for Idris with a FFI to OCaml
dependent-types
ocaml
haskell-library
idris
compilers
idris-ecosystem
malfunction
compiler-backend
foreign-function-interface
-
Updated
Aug 22, 2019 - TeX