git.iko.soy/Idris-dev
on 4a1fcdd help sign in
Idris-dev/codegen
3 folders
../ idris-c/Generate interface files for C->Idris calls idris-javascript/Generate interface files for C->Idris calls idris-node/Generate interface files for C->Idris calls