| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-01-24 | Colors for overlapping binders. | Nathan Ringo |
| 2024-01-19 | Use GADTs for prims, actual redex finding. | Nathan Ringo |
| 2024-01-19 | Flattens the AST. | Nathan Ringo |
 |
index : lambo | |
| A bot for helping to run CSCI2041. | Nathan Ringo |
| aboutsummaryrefslogtreecommitdiff |