Commit 82021e1
authored
"Intensional" is a word
The spelling "intensional" is correct, and is for instance used for "intensional type theory" https://ncatlab.org/nlab/show/intensional+type+theory1 parent 4caf26a commit 82021e1
1 file changed
Lines changed: 0 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
34336 | 34336 | | |
34337 | 34337 | | |
34338 | 34338 | | |
34339 | | - | |
34340 | 34339 | | |
34341 | 34340 | | |
34342 | 34341 | | |
| |||
0 commit comments