git.iko.soy/Idris-dev
on 2cfbee4 help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Categorised the Logs. Idris/Prover.hs: foldl (++) [] . map -> concatMap Pkg/Replace isNothing+fromJust with case Util/Fix freestanding build .ghci