aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-01-24Bump up the font size, making the overall image "more compact."Nathan Ringo
2024-01-24No-good evaluation rules for letrec.Nathan Ringo
2024-01-24Adds space for letrec, some capture avoidance, remove binder arrows.Nathan Ringo
2024-01-23Draws number suffixes as subscripts in the tree.Nathan Ringo
2024-01-23Draw edges for the binding structure.Nathan Ringo
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-23Disable CBN for now.Nathan 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-19Ignore some of the spammier modules.Nathan Ringo
2024-01-19Ignore backup files.Nathan Ringo
2024-01-19Ensure that content will fit.Nathan Ringo
2024-01-19"Run mode" done.Nathan Ringo
2024-01-19Fix interactions with button responses.Nathan Ringo
2024-01-19λ β.Nathan Ringo
2024-01-19exceptions as control flow lmaoNathan Ringo
2024-01-19Call by value.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-19Adds graphviz support to lambo.Nathan Ringo
2024-01-19Working diagramming.Nathan Ringo
2024-01-19Start of draw_tree.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
2024-01-18Libify ocaml, add buttons to interaction.Nathan Ringo
2024-01-18Commands to interact with discocaml, associated IPC.Nathan Ringo
2024-01-17Adds emotes and logo for discocaml.Nathan Ringo
2024-01-17Start of discocaml.Nathan Ringo
2024-01-17Don't try to re-add a role the user already has.Nathan Ringo
2024-01-16Quiet down the tracing::span module.Nathan Ringo
2024-01-16Change logging implementation.Nathan Ringo
2024-01-16Add the student role to students.Nathan Ringo
2024-01-16Reformat the Ω.Nathan Ringo
2024-01-16Lower-case the X.500s.Nathan Ringo
2024-01-16Finishes off plain recording of X.500s.Nathan Ringo
2024-01-16All the surrounding mechanisms for noticing user X.500s.Nathan Ringo
2024-01-16The start of database functionality.Nathan Ringo
2024-01-15Start splitting up handlers.Nathan Ringo
2024-01-15Initial commitNathan Ringo
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-28 21:18:45 +0000