@hackage / lambdacube

A simple lambda cube type checker.

Latest2008.12.25

About

Metadata

  • Last updated , by LennartAugustsson
  • License BSD-3-Clause
  • Categories Compilers and Interpreters
  • Maintained by: Lennart Augustsson <lennart@augustsson.net>

  • Lottery factor: 0

Links

Installation

Readme

A simple interactive lambda cube type checker and evaluator.