| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Add a readme | Tom Smeding | 4 years | |
| types | Start working on a type checker | Tom Smeding | 5 years | |
 |
index : verify-hs | |
| Equational reasoning helper tool for Haskell-like expressions | git daemon user |
| aboutsummaryrefslogtreecommitdiff |