git.iko.soy/Idris-dev
on 272efea help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Show source location of case block names Idris/Merge pull request #2749 from david-christiansen/pruviloj Pkg/PParser.hs: filename: Add check that path is valid Util/Allow an extension on tempfiles .ghci