Packages tagged typesystems

1 package has this tag.

[Merge tag] (trustees only)

Related tags: ast (1), bsd3 (1), educational (1), lambda-cube (1), library (1), type-theory (1), typechecking (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
typerbole30.0A typesystems library with exaggerated claims (ast, bsd3, educational, lambda-cube, library, type-theory, typechecking, typesystems)2016-07-27Lokidottir