Ben Lynn

My demo at https://crypto.stanford.edu/~blynn/compiler/fol.html might be running into this bug. The source: https://crypto.stanford.edu/~blynn/compiler/fol.lhs. Solving simpler problems works fine, and I can repeatedly solve the same one by clicking on a...

Sorry, yes, I'm a fan of lexical closures so I use this extension of gcc, though these days I don't care that much, so I'd be happy to accept a...