git.iko.soy/Idris-dev
on e1f139a help sign in
Idris-dev/src/Idris/Elab
11 files
../ AsPat.hsOnly rewrite _ under @! Class.hsTrickiness with implicits in dependent classes Clause.hsTrickiness with implicits in dependent classes Data.hsTrickiness with implicits in dependent classes Instance.hsTrickiness with implicits in dependent classes Provider.hsLibrary rearrangement done. Record.hsAllow implicits to appear anywhere Transform.hsAllow new-style tactics to declare function signatures Type.hsTrickiness with implicits in dependent classes Utils.hsAllow new-style tactics to declare function signatures Value.hsTrickiness with implicits in dependent classes