hackage.haskell.org : funcons-lambda-cbv-mp
Basic call-by-value lambda-calculus with operational semantics based on Funcons and meta-programming extensions
Registry
- JSON
- codemeta.json
purl: pkg:hackage/funcons-lambda-cbv-mp
Keywords:
bsd3
, language
, program
, Propose Tags
License: BSD-3-Clause
Latest release: over 7 years ago
First release: over 7 years ago
Downloads: 1,263 total
Last synced: 1 day ago
Loading...
Readme
Loading...