git.iko.soy/Idris-dev
on f9fb363 help sign in
Idris-dev/src/Core
10 files
../ CaseTree.hsPattern matcher, evaluation of 2+2 now works CoreParser.hsSome ghc 6.12 compatibility Elaborate.hsAll names introduced by nachine should be MN, to avoid clashes Evaluate.hsLots of improvements in elaborating and evaluating ProofShell.hsElaborating types and data declarations ProofState.hsTinkering with error reporting ShellParser.hsElaborating types and data declarations TT.hsTinkering with error reporting Typecheck.hsPattern matcher, evaluation of 2+2 now works Unify.hsTinkering with error reporting