Found 1 document(s)
Page 1 of 1
-
Haskell is a lot more mathematically rigorous than other programming languages, which means that programs can be proven to be correct....
