Giters

Ailrun / lambda-cube

Haskell implementation of (some of) lambda cube calculi

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LambdaCube

About

Haskell implementation of (some of) lambda cube calculi

License:MIT License

Languages

Language:Haskell 100.0%