starting…
try:
The Python evaluator runs locally inside Pyodide, in a Web Worker — a long or divergent reduction (try
nf POW 24 24) never freezes the page and can be interrupted with Stop. Every asset is served from this site (no CDN). Terms typed here are not sent anywhere; a ?cmd= deep link is part of the URL and can appear in server logs. The reducer is capture-avoiding normal-order β (η via the opt-in eta); type help to begin. ↑/↓ history · TAB completion.