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