← Back to context Comment by azdavis 10 hours ago I wrote a small post on that: https://azdavis.net/posts/lambda-cube/Hope it’s helpful! 4 comments azdavis Reply nixpulvis 10 hours ago 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 10 hours ago That is a good post. I've linked to it from mine! azdavis 9 hours ago Thanks! But I don’t think it quite worked? ChadNauseam 9 hours ago Ought to be fixed now
nixpulvis 10 hours ago 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 10 hours ago That is a good post. I've linked to it from mine! azdavis 9 hours ago Thanks! But I don’t think it quite worked? ChadNauseam 9 hours ago Ought to be fixed now
azdavis 9 hours ago Thanks! But I don’t think it quite worked? ChadNauseam 9 hours ago Ought to be fixed now
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
That is a good post. I've linked to it from mine!
Thanks! But I don’t think it quite worked?
Ought to be fixed now