Follow

every time i see someone talk about hazel (the structure editor) i do like. a triple take. a quadruple take

· · Web · 2 · 1 · 9

honestly maybe i should just pick a different name. i have other reasons but this is one of them

also could hypothetically give me the funniest reason ever for changing my name

@hazel I have a copy of the "The Edwin Users Guide" in my office. I still haven't worked out how to operate one effectively.

I can't actually remember what Edwin is. Some kind of system developed at Edinburgh I think? There've been a few systems with that name. It does confuse me when I see it...

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.