| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Add a readme | Tom Smeding | 4 years | |
| types | Start working on a type checker | Tom Smeding | 5 years | |
| Age | Commit message | Author | ||
| 2019-04-24 | Start working on a type checkertypes | Tom Smeding | ||
| 2019-04-09 | test.txt: Add apply and pure | Tom Smeding | ||
| 2019-04-09 | Organisation cleanup | Tom Smeding | ||
| 2019-04-09 | Fix parser (lambdas and quotes in names) | Tom Smeding | ||
| 2019-04-08 | Add rewall command | Tom Smeding | ||
| 2019-04-08 | Add auto command | Tom Smeding | ||
| 2019-04-08 | Fix warnings in Pretty | Tom Smeding | ||
| 2019-03-19 | Slightly better pretty printing | Tom Smeding | ||
| 2019-03-10 | Add 'help' | tomsmeding | ||
| 2019-03-10 | Remove 'forget' | tomsmeding | ||
| [...] | ||||
 |
index : verify-hs | |
| Equational reasoning helper tool for Haskell-like expressions | git daemon user |
| aboutsummaryrefslogtreecommitdiff |