funcons-lambda-cbv-mp
Basic call-by-value lambda-calculus with operational semantics based on Funcons and meta-programming extensions
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 7 years ago
0.1.0.2
over 7 years ago
Versions
2
2
Downloads
1,263 total
1,263 total
ltvanbinsbergen
9 packages26,101 downloads
Links
| Registry | hackage.haskell.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/funcons-lambda-cbv-mp
spec |
| License | BSD-3-Clause |
| First Release | over 7 years ago |
| Last Synced | 4 days ago |