Idris LLVM codegen factored out
https://github.com/idris-hackers/idris-llvm
Project metadata as of June 10, 2025.
This site uses cookies from Google to deliver its services and to analyze traffic.