@hackage / lambdacube

A simple lambda cube type checker.

Latest2008.12.25

Changelog

This release does not have a Changelog