git.iko.soy/Idris-dev
on 239c8ca help sign in
Idris-dev/src/Idris/Elab
12 files
../ AsPat.hsAdd extra HL information to PRef Class.hsHighlighting for pairs, lists and sigmas Clause.hsProof search should only use user visible names Data.hsAdd extra HL information to PRef Instance.hsAllow empty instance declarations in mutual blocks Provider.hsAdd extra HL information to PRef Record.hsAllow mutually recursive records Term.hsMove resolveTC to ProofSearch.hs Transform.hsAdd extra HL information to PRef Type.hsProof search should only use user visible names Utils.hsProof search should only use user visible names Value.hsProof search should only use user visible names