Implementation of Chapter 6 of Advanced Topics of Programming Languages using Coq
Primary LanguageMakefile