3 ms·So, spec is the ukulele in the vast domain of Type Systems?by lispm 7y agoSo, spec is the ukulele in the vast domain of Type Systems?