Open omasanori opened 1 year ago
Originally pointed out by @zick in https://pages.zick.run/2022/r7rsf.html (in Japanese).
The type of car-internal in 7.2.4 is E → K → C but the definition of the function is λεωκ . ... which implies E → P → K → C. The definition should be λεκ . ....
car-internal
E → K → C
λεωκ . ...
E → P → K → C
λεκ . ...
Originally pointed out by @zick in https://pages.zick.run/2022/r7rsf.html (in Japanese).
The type of
car-internalin 7.2.4 isE → K → Cbut the definition of the function isλεωκ . ...which impliesE → P → K → C. The definition should beλεκ . ....