Skip to content

fix some instance names

Ralf Jung requested to merge ralf/id-instance-names into master

(λ _ _ : A, x) is not id, it is a two-argument form of const.

(λ x _ : A, x) is not constant, it is the identity in the first argument.

Merge request reports