../ AsPat.hsAdd extra HL information to PRef11 years ago Class.hsHighlighting for pairs, lists and sigmas11 years ago Clause.hsProof search should only use user visible names11 years ago Data.hsAdd extra HL information to PRef11 years ago Instance.hsAllow empty instance declarations in mutual blocks11 years ago Provider.hsAdd extra HL information to PRef11 years ago Record.hsAllow mutually recursive records11 years ago RunElab.hsAdded top-level %runElab support11 years ago Term.hsMerge pull request #2540 from david-christiansen/wip/tactical11 years ago Transform.hsAdd extra HL information to PRef11 years ago Type.hsProof search should only use user visible names11 years ago Utils.hsProof search should only use user visible names11 years ago Value.hsProof search should only use user visible names11 years ago