3 ms·
Thats fair. I'm not GP but I do tend to agree that the AST used in that paper is overly complicated. Here is an STLC with bidir example which I believe to be e
by solomonb 3y ago
Thats fair. I'm not GP but I do tend to agree that the AST used in that paper is overly complicated.
Here is an STLC with bidir example which I believe to be easier to understand:
https://github.com/solomon-b/lambda-calculus-hs/blob/main/main/01-BidirectionalTypechecking.hs https://github.com/solomon-b/lambda-calculus-hs/blob/main/ma...