git.iko.soy/Idris-dev
on b20cff5 help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/#3171: Use *_HOST_OS instead of flags defined in idris.cabal. Idris/Totality checking now looks inside case directly Pkg/Fixes #499 allowing packages to be installed to custom location. Util/#3171: Use *_HOST_OS instead of flags defined in idris.cabal. .ghci