[azdavis]

I wrote a small post on that: https://azdavis.net/posts/lambda-cube/

Hope it’s helpful!

[nixpulvis]

Cool that you worked on an implementation of the CoC.

I've been somewhat wanting to go back and revisit ATAPL and read chapter 2 on this subject: https://www.cis.upenn.edu/~bcpierce/attapl/frontmatter.pdf

[ChadNauseam]

That is a good post. I've linked to it from mine!

[azdavis]

Thanks! But I don’t think it quite worked?

[ChadNauseam]

Ought to be fixed now