Should Coalton Allow Programmers To Write Correct Programs? #1018
macrologist
started this conversation in
Other
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Consider the following
Even though this program is correct, we have decided its not correct enough. Should we let programmers write correct programs?
Beta Was this translation helpful? Give feedback.
All reactions