Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

lambda-cube @ 0.1.0.0

Haskell implementation of the following 4 lambda calculi: Simply typed lambda calculus System F System F omega underbar System F omega

Published
Indexed
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Download Download
    JSON API View JSON
    CodeMeta codemeta.json
    Version Details
    PURL pkg:hackage/lambda-cube@0.1.0.0
    spec
    Tag 0.1.0.0