Deployment status

What this site is running.

The source revision and compiler behind this deployment. Every REPL response reports the same compiler identity.

How the REPL runs your code

Your module goes through alpha check: parsing, elaboration, and type, quantity and effect checking, with the same diagnostics as the command line.

If it checks, alpha repl reports the type of main and its normal form, using the reference evaluator.

Each run is isolated: no network, a read-only runtime, a throwaway workspace, CPU, memory and file-size limits, and an eight-second timeout.