| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| 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 |
| 2024-01-18 | Libify ocaml, add buttons to interaction. | Nathan Ringo |
| 2024-01-18 | Commands to interact with discocaml, associated IPC. | Nathan Ringo |
| 2024-01-17 | Adds emotes and logo for discocaml. | Nathan Ringo |
| 2024-01-17 | Start of discocaml. | Nathan Ringo |
 |
index : lambo | |
| A bot for helping to run CSCI2041. | Nathan Ringo |
| aboutsummaryrefslogtreecommitdiff |