Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

is this one weird trick to having inductive families? https://gist.github.com/jjl/ff462b11482b88a6470eb1b7a1be825a