DiazCarrete, 7 months ago "but why three?" https://twitter.com/freekwiedijk/status/1717470234087407984 #logic #types
"but why three?" https://twitter.com/freekwiedijk/status/1717470234087407984
#logic #types