Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
bmillwood
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
bmillwood
2y ago
> This is I think is equivalent to proving that it is total implying it is primitive recursive? No, as the article shows there are functions which terminate that aren't primitive recursive, and indeed Agda and (probably?) the others