hdiff
packages
feed
idris
-0.9.11: test/proof003/expected
00101010 01011001 010000011