git.iko.soy/Idris-dev
on eac558e help sign in
Idris-dev/src/Idris/Elab
15 files
../ AsPat.hsAdded documentation for modules. Class.hsHLint DIrected Code Cleanup Clause.hsUse Word64 for hash. (#3319) 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.hsfix typo Becuase to Because Transform.hsStore file with constraints + export Type.hsHLint DIrected Code Cleanup Utils.hsSmall reduction in constraint generation Value.hsStore file with constraints + export