Ibis : Visualized type inferer using slideshow
Interpreter
Control
Edit
Result
Slideshow
Expression
Inference
Screen