#idris makes a showing in @odersky keynote at #scaladays. Though, how can aiming for "correctness" not be "right"?pic.twitter.com/sSDJWClhqj
-
@alissapajer@aloiscochard So I don't want to be on the wrong side of this, but cost of proving correctness can be very high sometimes.
@d6 @alissapajer @aloiscochard It is indeed, but as usual, these claims are right for (very) wrong reasons.