RT @EvilHaskellTips: If your developers are scared enough of you, you can force them to write type-based proofs faster. This is known as t… 0 atbildes
Ingars Jekabsons (2019-04-03 17:19:12) |
RT @EvilHaskellTips: If your developers are scared enough of you, you can force them to write type-based proofs faster. This is known as t… |