Hi Alex!
2012-07-03 20:18, Alex Rozenshteyn skrev:
I'm trying to implement the lambda calculus (with CBV evaluation) using
the "syntactic" package, in such a way that a simple extension is also
simple to implement.
I am stuck on the fact that it seems that the Value type needs to be
parametrize
(This is intended as a simplification of the problem I actually need to
solve.)
I'm trying to implement the lambda calculus (with CBV evaluation) using the
"syntactic" package, in such a way that a simple extension is also simple
to implement.
I am stuck on the fact that it seems that the Value t