git.iko.soy/Idris-dev
on dccd072 help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsProof search should only use user visible names CaseTree.hsPropagate errors originating from case trees Constraints.hsRicher universe error objects DeepSeq.hsProof search should only use user visible names Elaborate.hsProof search should only use user visible names Evaluate.hsFinish WHNF for operators Execute.hsProof search should only use user visible names ProofState.hsProof search should only use user visible names ProofTerm.hsMark 'complete' terms to save time in elaboration TT.hsProof search should only use user visible names Typecheck.hsProof search should only use user visible names Unify.hsImprove disambiguation a bit more WHNF.hsFinish WHNF for operators