hdiff
packages
feed
idris
-0.9.15: test/interactive006/expected
Type checking ./interactive006.idr plus ?foo_rhs2 ?foo_rhs3