Compiler workbench
Write Alpha. See the exact boundary.
The real Alpha compiler checks an isolated module, then the reference evaluator reports the type and normal form of main. This is not native or physical execution.
- Source
- 7d4a2ac3
- Compiler
- 9b52594b00000000
- Edition
- alpha-2027
- REPL boundary
- checked + reference-evaluated
Source
167 bytesCompiler output
Ctrl/⌘ + EnterReady for a complete module.
Check validates the closure. Evaluate then asks the reference REPL for the type and normal form of main.
Sandbox boundaryOne isolated module · no network · read-only runtime · 8 second command limit · 16 KB source · one run at a time