3 ms·I use a tool called "type theory"by mhh__ 3y agoI use a tool called "type theory"icholy 3y agoKeep posting about D, I'm sure it will catch on soon.