/reference-docs

A set of reference documents related to Language Design, Parsers, Type Theory, Category Theory and Compiler Construction in general.

reference-docs

A set of reference documents related to Language Design, Parsers, Type Theory and Category Theory.