Crazazy

@Crazazy@feddit.nl

• ⁨Comment⁩ on ⁨Chaotic Evil⁩ ⁨⁨1⁩ ⁨week⁩ ago⁩:

  Also the mere concept of a front panel HDMI port

• ⁨Comment⁩ on ⁨Velma can't math.⁩ ⁨⁨2⁩ ⁨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.⁩ ⁨⁨3⁩ ⁨weeks⁩ ago⁩:

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