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