AlphaGitHub

REPL

Try Alpha in the browser.

The real Alpha compiler checks your module, then evaluates main and shows its type and value. It runs in a sandbox and uses the reference evaluator, so nothing is compiled to native code. Press Ctrl/⌘ + Enter to run.

Revision
2877a0c1
Compiler
6afa676400000000
Edition
alpha-2027
Runs
check, then reference evaluation
Ready

Source

167 bytes

Compiler output

Ctrl/⌘ + Enter
Ready when you are.

Check runs the type checker. Check & evaluate also shows the type and value of main.

Sandbox boundaryOne isolated module · no network · read-only runtime · 8 second command limit · 16 KB source · one run at a time