git.iko.soy/Idris-dev
on d2c207c help sign in
Idris-dev/src
3 folders, 1 file
../ IRTS/Use cc instead of gcc on non-windows platforms Idris/Add tryCatch as an Elab action in Language.Reflection.Elab Util/Remove the empty property 'copyright'. .ghci