Collection of Idris tests and demonstration programs