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.c

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 https://www.cis.upenn.edu/~bcpierce/attapl/frontmatter.pdf