Hi,
The idea is that you can encode an expression
"if B then P else Q"
as a λ-term BPQ. So if B is true, you get P, otherwise Q.
For an overview of λ-calculus I suggest reading this:
https://ecee.colorado.edu/ecen5533/fall11/reading/lambda_types.pdf
The encoding of boolean expressions is des
Hi,
yes, it's possible, but it's not so straightforward as Guile, since
Guile is designed for this kind of use case:
https://docs.racket-lang.org/inside/embedding.html
Cheers,
Ricardo
Am 21.01.2020 09:52 schrieb 'ZHUO Qingliang (KDr2)' via Racket Users:
Hi all,
I have a program that alrea
2 matches
Mail list logo