git.iko.soy/Idris-dev
on acdf90f help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/High-level if ... then ... else ... expression Idris/Be a bit more conservative about highlighting output Pkg/Highlight names of simple variable references Util/Implement bundled toolchain feature .ghci