git.iko.soy/Idris-dev
on cb005bc help sign in
Idris-dev/src/Idris/Elab
11 files
../ AsPat.hsOnly rewrite _ under @! Class.hsSupport scoped type class constraints Clause.hsNew language-dependent FFI Data.hsAdd scoped implicit argument to Pi Instance.hsAllow implicits to appear anywhere Provider.hsSupport type errors in docstrings Record.hsAllow implicits to appear anywhere Transform.hsNew way of dealing with unmatchable patterns Type.hsSupport scoped type class constraints Utils.hsAllow implicits to appear anywhere Value.hsRemove -Werror from all files