Content deleted Content added
No edit summary |
→Out of date: ok |
||
Line 62:
:::::::: @[[User:Koertefa|''<span style="color:#2F4F4F">'''K'''<span style="color:Teal">œrte</span>'''F'''</span><span style="color:Teal">a</span>'']] Okay, I think we're starting to agree! (i) Constructivity - fair enough; constructivity of proof vs construction in theorem are indeed different points. (ii) Arbitrary depth: okay, let's keep both of them. Although the L1 version actually has an improved Lp version available which I'll state instead. [[User:PatrickKidger|PatrickKidger]] ([[User talk:PatrickKidger|talk]]) 12:43, 6 July 2020 (UTC)
::::::::: OK, sounds good. [[User:Koertefa|''<span style="color:#2F4F4F">'''K'''<span style="color:Teal">œrte</span>'''F'''</span><span style="color:Teal">a</span>'']] [[User talk:Koertefa#top|<span style="color:#2F4F4F">'''{'''<i style="color:Teal">ταλκ</i>'''}'''</span>]] 19:22, 6 July 2020 (UTC)
| |||