hdiff
packages
feed
idris
-0.12.3: test/regression002/reg069.idr
import Mod foo : natexp 4 = 7 foo = Refl