Look up
Charts
Prints
total functional programming
Idris