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
Description
Tags
Maintainer
MBot92.5Haskell interface for controlling the mBot educational robot (educational, gpl, library)cfscholl
typerbole60.0A typesystems library with exaggerated claims (ast, bsd3, educational, lambda-cube, library, type-theory, typechecking, typesystems)Lokidottir