hdiff
packages
feed
idris
-0.9.15: test/interactive006/interactive006.idr
foo : Nat -> Nat -> Nat foo k j = ?foo_rhs1