One version of Andromeda 1 has this sort of thing builtin. It was painfully slow (it probably doesn't have to be), and we dropped it after a while because it represented about 50% of the kernel. Do you know of any implementations that actually work? Arend, perhaps?
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
