idris-0.12.2: test/layout001/layout001d.idr

f : Int
f
= 2