| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Support newer GHC | Tom Smeding | 2020-05-22 |
| | | |||
| * | Organisation cleanup | Tom Smeding | 2019-04-09 |
| | | |||
| * | Slightly better pretty printing | Tom Smeding | 2019-03-19 |
| | | |||
| * | Remove old parser | tomsmeding | 2019-03-10 |
| | | |||
| * | Enough to prove functoriality of Parser | tomsmeding | 2019-03-10 |
| | | |||
| * | Initial | tomsmeding | 2019-03-10 |
 |
index : verify-hs | |
| Equational reasoning helper tool for Haskell-like expressions | git daemon user |
| aboutsummaryrefslogtreecommitdiff |
path: root/verify-hs.cabal