Idris

show blocks helper