|
|
|
|
|
|
by firstlink
1102 days ago
|
|
|
Can you recommend any resources on how to avoid paradoxes? From what little I know, very innocent seeming combinations of features/axioms result in proofs of false. That seems to be a very important resource for developing a language, because you can't wait until the end to discover that you shouldn't have had type-in-type or so on. |
|
|