Data

Tools

Indexes

Applications

Experiments

Packages

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

lambdascript

Instructional program detailing the beta reduction of typed and untyped lambda terms

Ecosystem
crates.io
Latest Release
0.2.4
about 1 year ago
Versions
19
Downloads
22,328 total
    Loading...
    Readme
    Loading...
    Links
    Registry crates.io
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:cargo/lambdascript
    spec
    License MIT
    First Release about 4 years ago
    Last Synced 13 days ago
    Keywords
    beta-reduction education lambda lambda-calculus
    Repository
    Stars 4 on GitHub
    Forks 0 on GitHub
    Commits 21
    Committers 4
    Avg per Author 5.25
    DDS 0.143
    commits.ecosyste.ms
    repos.ecosyste.ms