A lot of Idris examples.