j
k
j a
j l
PR Stanley wrote:
is const = id?
No, const is saturated with 2 arguments, id with 1. const 1 2 -> 1 id 1 2 -> type error
Back to the thread
Back to the list