Aiming for correctness with types

Aiming for correctness with types - fasterthanli.me.
The Nature weekly journal of science was first published in 1869. And after one and a half century, it has finally completed one cycle of carcinization , by publishing an art…

This thread was posted by one of our members via one of our automated news source trackers.

Corresponding tweet for this thread:

https://twitter.com/dev_talk/status/1337965181083807744

Share link for this tweet.