Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
maybe @davidgerard would like to cover the fash bootlicking in the proof assistant space? there sure is a lot of it going on.
more reason for idris not to consider itself a proof assistant, i guess