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_calculus

A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.

Ecosystem
pub.dev
Latest Release
1.3.5
about 2 years ago
Versions
10
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry pub.dev
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:pub/lambda_calculus
    spec
    License BSD-3-Clause
    First Release over 2 years ago
    Last Synced about 11 hours ago
    Keywords
    dart functional-programming lambda-calculus simulator type-system
    Repository
    Stars 2 on GitHub
    Forks 0 on GitHub
    repos.ecosyste.ms