git.iko.soy/Idris-dev
on 2a4e82b help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Display 'Hole' instead of 'Metavariable' Idris/Parser-driven highlighting of quotation symbols Pkg/Bracket new directory operations in messages Util/Implement bundled toolchain feature .ghci