Packages tagged lambda-cube

1 package has this tag.

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
typerbole	8	0.0	1	A typesystems library with exaggerated claims	(ast, bsd3, educational, lambda-cube, library, type-theory, typechecking, typesystems)	2016-07-27		Lokidottir

Showing 1 to 1 of 1 entries