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