magic-trace collects and displays high-resolution traces of what a process is doing

😎TT

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

🦠 An experimental elaborator for dependent type theory using effects and handlers