An idris exercise: typed printf
Playing with old effects in Idris
add more calculations
finish `effect` basic approach (without automatic proof search)
add strange Idris error message
add random files