@TheEduardoRFS Nice. I've seen it and I'm interested in learning about more applications.

@effectfully Yeah they're extremely simple. It would be nice if people would also consider modalities extremely simple too

@TheEduardoRFS @Ngnghm ✨Representation Independence✨

@tangled_zans Lem kinda holds if it's stated using that

@Slugg37 @zack_overflow @HSVSphere This is mind blowing, thank you

@Slugg37 @zack_overflow @HSVSphere I think it's precisely the contrary though

@Slugg37 @zack_overflow @HSVSphere Would that be more efficient than an object?

@Slugg37 @zack_overflow @HSVSphere Which one is better?

@TheEduardoRFS Soooooooo fucking true. Uncurry as much as possible!

@Aron_Adler Every proposition is true

@effectfully Phew

@algebraic_dev True Well when I hate it I want to deadname it for more humiliation

@TheEduardoRFS But what if they're different variables

@TheEduardoRFS Do you decide the judgmental equality or an untyped approximation of it?

@TheEduardoRFS Depending on the type, they can be judgmentally equal or not judgmentally equal

@LightQuantumhah Too hot

@0xmer_ I play yoyo