https://github.com/yazaldefilimone/lambda-checker
A dependent type checker for lambda calculus.
https://github.com/yazaldefilimone/lambda-checker
compiler dependent-types lambda-calculus rust type-checker
Last synced: 11 days ago
JSON representation
A dependent type checker for lambda calculus.
- Host: GitHub
- URL: https://github.com/yazaldefilimone/lambda-checker
- Owner: yazaldefilimone
- Created: 2024-04-12T17:45:19.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2024-04-13T05:15:15.000Z (about 2 years ago)
- Last Synced: 2025-12-13T05:38:51.121Z (6 months ago)
- Topics: compiler, dependent-types, lambda-calculus, rust, type-checker
- Language: Rust
- Homepage:
- Size: 5.86 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: