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