3 ms·
I wrote a small post on that: https://azdavis.net/posts/lambda-cube/ https://azdavis.net/posts/lambda-cube/ Hope it’s helpful!
by azdavis 11mo ago
I wrote a small post on that: https://azdavis.net/posts/lambda-cube/ https://azdavis.net/posts/lambda-cube/
Hope it’s helpful!
- nixpulvis 11mo agoCool 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 https://www.cis.upenn.edu/~bcpierce/attapl/frontmatter.pdf
- ChadNauseam 11mo agoThat is a good post. I've linked to it from mine!
- azdavis 11mo agoThanks! But I don’t think it quite worked?
- ChadNauseam 11mo agoOught to be fixed now