git.iko.soy/Idris-dev
on cfd6dbc help sign in
Idris-dev/src/Idris/Elab
11 files
../ AsPat.hsOnly rewrite _ under @! Class.hsAdd 'determining parameters' for classes Clause.hsAllow new-style tactics to declare function signatures Data.hsAdded explicit error messages when eliminator/case function generation fails Instance.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical Provider.hsDocumentation for provided postulates Record.hsAllow implicits to appear anywhere Transform.hsAllow new-style tactics to declare function signatures Type.hsAllow new-style tactics to declare function signatures Utils.hsAllow new-style tactics to declare function signatures Value.hsAllow new-style tactics to declare function signatures