|
|
|
|
|
|
by HerrmannM
2437 days ago
|
|
|
Joke aside, it is supposed (I have some interesting bugs at the moment) to be an evaluator for the pure lambda calculus. So, I guess you can encode monads in it, but that is not really the point, and I definitely did not make an example with monads. I'll try to do such an example later. |
|
|