hdiff
packages
feed
idris
-0.9.13: test/reg039/expected
Type checking ./reg039.idr [3, 2, 1]