I wonder what the applications of this “least fixed points of monotone functions by bottom-up iteration” thing, outside of compilers/formal methods, are.
https://shdown.github.io — no frills :)
Looks handy. I saw this supports prerelease builds of Lua 5.4; did you have any trouble supporting that, or was it pretty straightforward?
Straightforward except for this obscure thing: https://github.com/shdown/luastatus/commit/a1dd3843dc2efc1eca24b9e5f5941c1afb8f96e4
Holy smokes; that’s awful. Is it disabled by default at least?
As far as I know, yes.
Here’s hoping it either gets removed before the full release, or never gets enabled ever by anyone compiling it.