#programming #engineering #lisp #lispygopherclimate https://communitymedia.video/w/fDRrC8N2WFCecGpEuQx3on 0UTC Wednesdays

No Edrx (https://anggtwu.net/) again, but I will read a note from him about his own type theory quest.

He speaks to some of the different meanings that appear when different people say the words type theory, as appear on the Mastodon recently!

Also, I got a lot of notes on obvious improvements and contex for my https://screwlisp.small-web.org/ articles so far which we can share and talk about!

ALT