Crazazy

@Crazazy@feddit.nl

• ⁨Comment⁩ on ⁨And my premature ejaculation is the shortcoming!?⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  Time for me to turn into Rene Descartes

• ⁨Comment⁩ on ⁨Chaotic Evil⁩ ⁨⁨4⁩ ⁨weeks⁩ ago⁩:

  Also the mere concept of a front panel HDMI port

• ⁨Comment⁩ on ⁨Velma can't math.⁩ ⁨⁨5⁩ ⁨weeks⁩ ago⁩:

  Oh yeah was a bit sleepy and thought you could just put arbitrary expressions in the numerator instead of just the type.

  But consider this: heterogeneous equality type of types x and b under equivalence relation a, which is bound somewhere else in the aether that we can’t see in the screenshot

• ⁨Comment⁩ on ⁨Velma can't math.⁩ ⁨⁨5⁩ ⁨weeks⁩ ago⁩:

  quotient equivalence under an equivalence class “a” en.wikipedia.org/wiki/Quotient_type