Thats fair. I'm not GP but I do tend to agree that the AST used in that paper is...

solomonb on July 9, 2023 | parent | context | favorite | on: How to keep lambda calculus simple

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/ma...