aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2024-01-23Disable CBN for now.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-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-19Add notes to eval output.Nathan Ringo
2024-01-19Fix diagrams, allow multiple roles.Nathan Ringo
2024-01-19Adds graphviz support to lambo.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-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 23:13:59 +0000