idris-llvm

Idris LLVM codegen factored out

78 stars

34 watching

13 forks

Language: Haskell

last commit: about 7 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

joaomilho/awesome-idris