- java –version (JDK)
- installation (nix develop w/o direnv)
- Java –version (Graal)
- Ruby –version == graal
- gradle jar, gradle buildDist
- montuno –help
- Demo script: cat <EOF […] EOF -> montuno
- Demo script + –normalize expr
- Demo script: cat <EOF […] {-# NORMALIZE #-} EOF -> montuno
- REPL
- load demo + id id id id id - infer, normalize, run
- load fixpoint + fibonacci
- REPL timing command??? + engine switch
- gradle jmh (# was a standalone script, bundled to gradle in GitHub version)