@hackage / lambda-cube

Haskell implementation of (some of) lambda cube calculi

Latest0.3.0.0

About

Metadata

  • Last updated , by Ailrun
  • License MIT
  • Maintained by: jjc9310@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

LambdaCube