hackage.haskell.org : typerbole
Please see README.md
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:hackage/typerbole
Keywords:
ast
, bsd3
, educational
, lambda-cube
, library
, type-theory
, typechecking
, typesystems
, Propose Tags
, lambda-calculus
, typesystem
License: BSD-3-Clause
Latest release: over 9 years ago
First release: over 9 years ago
Downloads: 2,228 total
Stars: 4 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 2 months ago
Loading...
Readme
Loading...