Giters
TOTBWF
/
tactic-haskell
Tactic Metaprogramming in Haskell
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
57
Watchers:
7
Issues:
9
Forks:
0
TOTBWF/tactic-haskell Issues
Consider using th-desugar
Updated
5 years ago
`auto` should use `induction`
Closed
5 years ago
Implement Extended Type Language
Updated
5 years ago
Comments count
1
`apply` can't handle typeclass methods
Updated
5 years ago
`induction` doesn't properly handle polymorphic types
Closed
5 years ago
Comments count
2
Optional Subgoal Labels
Updated
5 years ago
Properly handle hypothesis name freshening
Updated
5 years ago
Implement Induction Tactic
Closed
5 years ago
Comments count
3
The Tactic monad is non-associative
Closed
5 years ago
Comments count
3