Packages tagged educational

2 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
MBot282.51Haskell interface for controlling the mBot educational robot (educational, gpl, library)2018-07-230.2.4.1cfscholl
typerbole100.01A typesystems library with exaggerated claims (ast, bsd3, educational, lambda-cube, library, type-theory, typechecking, typesystems)2016-07-27Lokidottir