The latest version of funcons-lambda-cbv-mp is 0.1.0.2-1.

funcons-lambda-cbv-mp

Version 0.1.0.2 revision 0 uploaded by ltvanbinsbergen.

Package meta

Synopsis
call-by-value lambda-calculus with meta-programming
Description

Basic call-by-value lambda-calculus with operational semantics based on Funcons and meta-programming extensions

Author
L. Thomas van Binsbergen
Bug reports
n/a
Category
Language
Copyright
n/a
Homepage
n/a
Maintainer
ltvanbinsbergen@acm.org
Package URL
n/a
Stability
n/a

Components