GitHub

idris-hackers/idris-llvm

 13 forks
 81 stars

Description

Idris LLVM codegen factored out

Project metadata as of .