Languages
Type checking
Evaluation
Types and Programming Languages Playground
Language:
Example:
Run
Results
Typechecked:
+
Errors:
+