let x = 1+2;
inc
inc 41;
fact
fact 6;
fib
fib 10;
twice
twice inc 5;
▶ bubblesort ()
▶ bubblesortReversed ()
▶ bubblesortAlmost ()
debug
env
help
clear
reset
emacs
use
files
emacs
save & exit
save
cancel
Esc / C-x C-c: save&exit · C-x C-s: save · C-g: cancel
>
Tokens
(awaiting input...)
AST
(awaiting input...)
Type & Eval Trace
(awaiting input...)
Environment
(empty)
Stats
(no run yet)
MiniML Interpreter 05/01/2026 by Yasushi Kodama.
Hindley–Milner type inference · let-polymorphism · recursive descent parser