Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / yazaldefilimone / lambda-checker
Dependent type checker with substitution for lambda calculus.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yazaldefilimone%2Flambda-checker
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Rust
Repo Size: 5.86 KB
Dependencies:
7
Created: about 2 months ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago
Topics: compiler, dependent-types, lambda-calculus, rust, type-checker
Files
Loading...
Readme
Loading...
Dependencies
Cargo.toml
cargo
Cargo.lock
cargo
- bitmaps 2.1.0
- im 15.1.0
- rand_core 0.6.4
- rand_xoshiro 0.6.0
- sized-chunks 0.6.5
- typenum 1.17.0
- version_check 0.9.4