| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | 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 | |
| 2024-01-23 | Booleans and if. | Nathan Ringo | |
| 2024-01-23 | let expressions | Nathan Ringo | |
| 2024-01-20 | Adds lists, although they don't evaluate yet. | Nathan Ringo | |
| 2024-01-19 | λ β. | Nathan Ringo | |
| 2024-01-19 | Use GADTs for prims, actual redex finding. | Nathan Ringo | |
| 2024-01-19 | Fix diagrams, allow multiple roles. | Nathan Ringo | |
| 2024-01-19 | Working diagramming. | Nathan Ringo | |
| 2024-01-19 | Start of draw_tree. | Nathan Ringo | |
 |
index : lambo | |
| A bot for helping to run CSCI2041. | Nathan Ringo |
| aboutsummaryrefslogtreecommitdiff |