N.E.P.T.R@lemmy.blahaj.zone to 196@lemmy.blahaj.zoneEnglish · 12 days agotype [...] rule??? (I legit dont know what this is)leminal.spaceimagemessage-square14linkfedilinkarrow-up161arrow-down11file-text
arrow-up160arrow-down1imagetype [...] rule??? (I legit dont know what this is)leminal.spaceN.E.P.T.R@lemmy.blahaj.zone to 196@lemmy.blahaj.zoneEnglish · 12 days agomessage-square14linkfedilinkfile-text
minus-squareAnother Catgirl@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up2·11 days agoreminds me of quantity calculus, which is when type theory meets physicists like Fourier and Maxwell and Kelvin https://en.wikipedia.org/wiki/Quantity_calculus
reminds me of quantity calculus, which is when type theory meets physicists like Fourier and Maxwell and Kelvin https://en.wikipedia.org/wiki/Quantity_calculus