GitHunt
IO

ioanluca/real-world-idris

Malfunction backend for Idris with a FFI to OCaml

compiler-backendcompilersdependent-typesforeign-function-interfacehaskell-libraryidrisidris-ecosystemmalfunctionocaml
No README found.

Languages

TeX47.2%Haskell30.1%Idris21.0%OCaml0.8%Makefile0.8%

Contributors

IOBO
BSD 3-Clause "New" or "Revised" License
Created October 18, 2018
Updated February 7, 2024
ioanluca/real-world-idris | GitHunt