aboutsummaryrefslogtreecommitdiff
path: root/discocaml/ast.ml
AgeCommit message (Expand)Author
2024-01-23Draw edges for the binding structure.Nathan Ringo
2024-01-23Adds relational operators.Nathan Ringo
2024-01-23Booleans and if.Nathan Ringo
2024-01-23let expressionsNathan Ringo
2024-01-20Cleans up unsupported AST error in UI.Nathan Ringo
2024-01-20Adds lists, although they don't evaluate yet.Nathan Ringo
2024-01-19λ β.Nathan Ringo
2024-01-19Add notes to eval output.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-19Give args to prims.Nathan Ringo
2024-01-19Flattens the AST.Nathan Ringo
2024-01-19A bunch of the AST, but as a tree; we're gonna flatten it!Nathan Ringo
2024-01-18Prepare to output non-single-expr messages.Nathan Ringo
2024-01-18Start of our own AST.Nathan Ringo