Re: [racket-users] Lambda calculus done in Racket

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

Re: [racket-users] Can I embed Racket into another program?

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