P => Q means that Q is true in all cases P is true, meaning that P is a "stronger" statement (assuming P != Q)

(Not back for good, just popped in to do my small part in helping with the current crisis)

Leanpub can do PDF and Epub but I don't believe they offer print options, you'd have to go somewhere else for that

What are you looking for in a self-publishing platform?

Yup@

Do you have a good example?

It's the changing of the seasons. Too cold outside

Yeah, Tesler had a lot of influence on the development of Smalltalk too. Of note though is he had a very expansive definition of "modes". He'd have considered the bash shell "modal" because ctrl+r puts you in the `reverse-i-search` mode

Blargle, this should work gist.github.com/hwayne/c8ffe...

I am not 100% sure but I think there's some CHIP DNA in Gecode (one of the solvers used)

Protip: when editing new scripts, you have to reload it a lot. So I like adding this to shorten that feedback loop:

F3::Reload

2. Instead of using a series of Sends, `writeFunctionsAndReturn` uses multiline strings and Format to only need one send. This makes it easier to see what the output will be. The other send functions can be improved in the same way

Sure! Made a new version at pastebin.com/d1waR7VmI . Didn't edit the style or structure, but added in two AHK features that will improve your QoL:

1. Instead of InputHook, I get the inputs with InputBox. That way you can see what you typed in, erase mistakes, and paste with ctrl-v

Noicenoice! Do you want feedback from an internet stranger or are you happy with what you got?

AHK is amazing. Any questions? I've been doing it for like tennish years now

Anywhere I can read more about search mode? My prior is that it would behave more like a mix of a prompt and contextual keybindings vs modal editor. Which I am 100% sure sounds like quibbling but I think there's subtle operational differences