Packages tagged teaching

7 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (6), library (5), program (5), lambdacalculus (2), language (1), mit (1)

Name
DLs
Rating
Description
Tags
Maintainer
cakyrespa210.0run turtle like LOGO with lojban (bsd3, program, teaching)YoshikuniJujo
gluturtle380.0turtle like LOGO with glut (bsd3, library, teaching)YoshikuniJujo
lambda-calculator130.0A lambda calculus interpreter (lambdacalculus, language, library, mit, program, teaching)sgillespie
lambda-toolbox30.0An application to work with the lambda calculus (for learning) (bsd3, lambdacalculus, program, teaching)JulianFleischer
simpleprelude80.0A simplified Haskell prelude for teaching (bsd3, library, program, teaching)JeanMarieGaillourdet
wxturtle10.0turtle like LOGO with wxHaskell (bsd3, library, program, teaching)YoshikuniJujo
xturtle340.0turtle like LOGO (bsd3, library, teaching)YoshikuniJujo