Greg Rosenblatt

I noticed a couple of mistakes in the definition of `integrate` (page 256) that probably slipped by testing. In the sketch below, I've indicated the mistakes with comments describing corrections:...

Nesting let expressions may reveal potential bugs

2

Hi, Ilya, thanks for sc-mini! I just finished reading the paper and the source, and noticed some things that didn't make sense to me, which may be unintended. By the...