A tiny, pedagogy-first programming language for the AI era — where a signature is an honest contract (type · effect · failure · time) and the checker holds you to it.
No build step. Runs in the browser via Pyodide — the same
prism.py / check.py as the command line.