git.iko.soy/Idris-dev
on ff7ea9d help sign in
Idris-dev/src/Idris/Elab
15 files
../ AsPat.hsAdded documentation for modules. Class.hsHLint DIrected Code Cleanup Clause.hsFix ordering of run time case trees Data.hsHLint DIrected Code Cleanup Instance.hsHLint DIrected Code Cleanup Provider.hsAdded documentation for modules. Quasiquote.hsAdded documentation for modules. Record.hsBind parameters as implicits in record functions Rewrite.hsAdded more context to the no rewriting error, to include terms being rewritten with RunElab.hsStore file with constraints + export Term.hsTidy case blocks in hole types Transform.hsStore file with constraints + export Type.hsHLint DIrected Code Cleanup Utils.hsSmall reduction in constraint generation Value.hsStore file with constraints + export