proxy.golang.org : github.com/avatar29a/lambdacube

Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with dependency typed

Registry - Source - Documentation - JSON - codemeta.json
purl: pkg:golang/github.com/avatar29a/lambdacube
Keywords: dependency-types , lambda-calculus , lambdacube
License: MIT
Latest release: over 8 years ago
First release: over 8 years ago
Namespace: github.com/avatar29a
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 19 days ago

• Readme
• Versions 1
• Dependent Packages 0
• Maintainers 0
• Related Packages 1