Open JonnyWalker opened 10 years ago
There are various types of function expressions. f(x) f~(x), proj1(S,T)(x) {(x,y)}(x) ect.. the interpreter and type checker code needs to be tested for all these kinds.
There are various types of function expressions. f(x) f~(x), proj1(S,T)(x) {(x,y)}(x) ect.. the interpreter and type checker code needs to be tested for all these kinds.