| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| trunk | Better letrec reductions. | Nathan Ringo | 15 months | |
| Age | Commit message | Author | ||
| 2024-01-24 | Better letrec reductions.HEADtrunk | Nathan Ringo | ||
| 2024-01-24 | Colors for overlapping binders. | Nathan Ringo | ||
| 2024-01-24 | Bump up the font size, making the overall image "more compact." | Nathan Ringo | ||
| 2024-01-24 | No-good evaluation rules for letrec. | Nathan Ringo | ||
| 2024-01-24 | Adds space for letrec, some capture avoidance, remove binder arrows. | Nathan Ringo | ||
| 2024-01-23 | Draws number suffixes as subscripts in the tree. | Nathan Ringo | ||
| 2024-01-23 | Draw edges for the binding structure. | Nathan Ringo | ||
| 2024-01-23 | Use rounded rectangle nodes. | Nathan Ringo | ||
| 2024-01-23 | Use the bold font for more keywords in the tree. | Nathan Ringo | ||
| 2024-01-23 | Adds relational operators. | Nathan Ringo | ||
| [...] | ||||
 |
index : lambo | |
| A bot for helping to run CSCI2041. | Nathan Ringo |
| aboutsummaryrefslogtreecommitdiff |