Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
wow, the bafflegab bollockswaffle is absolutely overwhelming in this alleged dependently typed theorem prover's website.
there's some good takedowns in the comments on reddit which sound entirely correct to me https://www.reddit.com/r/programmingcirclejerk/comments/1tze5wb/yon%5Fa%5Ftoposoriented%5Flanguage%5Fwith%5Fa/