nested-datatypes
There are 1 repositories under nested-datatypes topic.
Kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
There are 1 repositories under nested-datatypes topic.
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation