[WIP] Allow applicative idioms when solving tactics#537
Closed
isovector wants to merge 24 commits intohaskell:masterfrom
Closed
[WIP] Allow applicative idioms when solving tactics#537isovector wants to merge 24 commits intohaskell:masterfrom
isovector wants to merge 24 commits intohaskell:masterfrom
Commits
Commits on Oct 23, 2020
Commits on Oct 24, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 25, 2020
- committed
- committed