3,526 followers
これ、よいです。https://t.co/saaFSpEp9x
これ、よいです。https://t.co/saaFSpEp9x
RT @agentultra: It’s so useful we can derive whole programs from specifications written this way: https://t.co/BQRZlSCyeo and https://t.co/…
It’s so useful we can derive whole programs from specifications written this way: https://t.co/BQRZlSCyeo and https://t.co/4gpOwAg9ak
Some interesting reading around it: https://t.co/oMki6vNfZj, https://t.co/kq79izuZCE