Comment by azdavis Comment by azdavis 17 hours ago 4 replies Copy Link View on Hacker News I wrote a small post on that: https://azdavis.net/posts/lambda-cube/Hope it’s helpful!
Copy Link nixpulvis 17 hours ago Next Collapse Comment - 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 Reply View | 0 replies
Copy Link ChadNauseam 17 hours ago Prev Collapse Comment - That is a good post. I've linked to it from mine! Reply View | 2 replies Copy Link azdavis 15 hours ago Parent Collapse Comment - Thanks! But I don’t think it quite worked? Reply View | 1 reply Copy Link ChadNauseam 15 hours ago Root Parent Collapse Comment - Ought to be fixed now Reply View | 0 replies
Copy Link azdavis 15 hours ago Parent Collapse Comment - Thanks! But I don’t think it quite worked? Reply View | 1 reply Copy Link ChadNauseam 15 hours ago Root Parent Collapse Comment - Ought to be fixed now Reply View | 0 replies
Copy Link ChadNauseam 15 hours ago Root Parent Collapse Comment - Ought to be fixed now Reply View | 0 replies
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