| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |