hdiff
packages
feed
idris
-0.9.18: test/proof010/expected
2, << function >> 3, << function >> some bools some bools