Search Package Index

3 packages found

 PackageDescriptionBuild 

mm

an environment for exploring memory management

This package needs documentation

Tags:
succeeds3

plai-typed

The `plai-typed' language for use with Programming Languages: Application and Interpretation, Second Edition

succeeds0

plait

The Plait language is a hybrid of Racket (concrete syntax) and ML (type system) that is intended for use in an interpreters-based programming-languages course. It's an improved variant of `plai-typed`.

Docs:
succeeds; has failing tests4