azdavis·قبل 4 أشهر·discussNice post, I like the benchmarking and property testing. I had a somewhat similar post: https://azdavis.net/posts/unrecur/
azdavis·قبل 8 أشهر·discussI wrote a small post on that: https://azdavis.net/posts/lambda-cube/Hope it’s helpful!