User talk:100.1.206.144

Denotational semantics
Thanks for adding your notes to the talk page. I had seen the corresponding IRC discussions in the channel logs, but couldn't get down to review the page back then. I will get down to doing that now. Cheers, Duplode (discuss • contribs) 04:51, 6 May 2019 (UTC)