Cool that you worked on an implementation of the CoC. I've been somewhat wanting...

		nixpulvis 3 months ago \| parent \| context \| favorite \| on: Dependent types and how to get rid of them 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