Age | Commit message (Expand) | Author |
---|---|---|
2024-01-24 | Adds space for letrec, some capture avoidance, remove binder arrows. | Nathan Ringo |
2024-01-19 | Start of draw_tree. | Nathan Ringo |
2024-01-19 | Flattens the AST. | 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 | Start of discocaml. | Nathan Ringo |