ioanluca/real-world-idris

Malfunction backend for Idris with a FFI to OCaml

语言：TeX · GitHub 星标：28 · Fork：2

话题：compiler-backend · compilers · dependent-types · foreign-function-interface · haskell-library · idris · idris-ecosystem · malfunction

在 GitHub 上查看原仓库