Implement Dependently Typed Binary Lambda Calculus
Open
enhancement
good first issue
- Dominant language
- Haskell
- Stars
- 7
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/helvm/Dependent-Binary-Lambda-Calculus
Required:
* https://github.com/helvm/heltc/issues/15
Contributor guide
Assessment
This issue has not been assessed yet.