mspertus

TAPL. Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

p0433. Modify C++ library for template deduction for constructors

CTAD_POST_CPP17. Proposed Extension for Class Template Argument Deduction targeted after C++17