Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
a number of failed ideas later, i'm now trying codebruijn with names (terms are indexed by the names of the vars they refer to). except i'm just completely winging it this time rather than trying to do it in the context of elabzoo.