aboutsummaryrefslogtreecommitdiff
path: root/discocaml/draw_tree.ml
AgeCommit message (Expand)Author
2024-01-23Use rounded rectangle nodes.Nathan Ringo
2024-01-23Use the bold font for more keywords in the tree.Nathan Ringo
2024-01-23Adds relational operators.Nathan Ringo
2024-01-23Booleans and if.Nathan Ringo
2024-01-23let expressionsNathan Ringo
2024-01-20Adds lists, although they don't evaluate yet.Nathan Ringo
2024-01-19λ β.Nathan Ringo
2024-01-19Use GADTs for prims, actual redex finding.Nathan Ringo
2024-01-19Fix diagrams, allow multiple roles.Nathan Ringo
2024-01-19Working diagramming.Nathan Ringo
2024-01-19Start of draw_tree.Nathan Ringo