hackage.haskell.org : glambda
This is an interpreter for the simply-typed lambda calculus. It is written making heavy use of generalized algebraic datatypes (GADTs), and is meant to serve as an example how how these GADTs can be useful. See the GitHub repo for more information about the syntax for the language and interpreter commands.
Registry
-
Source
- JSON
purl: pkg:hackage/glambda
Keywords:
bsd3
, compilers-interpreters
, library
, program
, Propose Tags
License: BSD-3-Clause
Latest release: almost 8 years ago
First release: over 10 years ago
Dependent repositories: 1
Downloads: 2,775 total
Stars: 226 on GitHub
Forks: 31 on GitHub
Total Commits: 60
Committers: 5
Average commits per author: 12.0
Development Distribution Score (DDS): 0.183
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago