| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Significantly improve rewrite correctness | Tom Smeding | 2020-05-23 |
 |
index : verify-hs | |
| Equational reasoning helper tool for Haskell-like expressions | git daemon user |
| aboutsummaryrefslogtreecommitdiff |
path: root/reverse-ad.txt