7 ms·
If the system you are building makes sense, there is probably a reasonable type system that shows it to be well typed.
by backlava 12y ago
If the system you are building makes sense, there is probably a reasonable type system that shows it to be well typed.
- Jare 12y agoYeah, "makes sense" and "reasonable" would be criteria involved in the debated I mentioned.