Lef IoannidisAlgebraic types in C++17In functional languages, algebraic types are an important part of the language. In Coq, this is what a polymorphic list definition looks…Oct 29, 2018Oct 29, 2018