Types and Programming Languages Playground

Language:
Example:

Results

Evaluated:
Errors: