Oh thanks, that looks pretty interesting, and will distract from shitposting on random pop-science/political quasi-journalism articles for a while. It seems that it was the purpose of HN, but I'm not sure anymore.
However, it is unfortunately hard to make relevant comments on such articles.
As the introduction says, it's pretty quick to set everything up (just one apt-get away), the clean racket syntax allows to define a calculus very neatly, but that's a far cry from being able to say much about it. I think I'll try to follow the tutorial with a classical calculus (λμ) and see how that turns out, but that's going to take some time.
So here goes
"This was posted once before by HN user 'ingve' but didn't get much attention".
However, it is unfortunately hard to make relevant comments on such articles. As the introduction says, it's pretty quick to set everything up (just one apt-get away), the clean racket syntax allows to define a calculus very neatly, but that's a far cry from being able to say much about it. I think I'll try to follow the tutorial with a classical calculus (λμ) and see how that turns out, but that's going to take some time. So here goes "This was posted once before by HN user 'ingve' but didn't get much attention".