N.E.P.T.R@lemmy.blahaj.zone to 196@lemmy.blahaj.zoneEnglish · 1 month agotype [...] rule??? (I legit dont know what this is)leminal.spaceimagemessage-square13linkfedilinkarrow-up159arrow-down11file-text
arrow-up158arrow-down1imagetype [...] rule??? (I legit dont know what this is)leminal.spaceN.E.P.T.R@lemmy.blahaj.zone to 196@lemmy.blahaj.zoneEnglish · 1 month agomessage-square13linkfedilinkfile-text
minus-squareAnother Catgirl@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up2·1 month 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