hdiff
packages
feed
disco
-0.1.6: test/types-192/expected
λx. λy. λz. x + y / z : 𝔽 → 𝔽 → 𝔽 → 𝔽