Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ruliov
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
ruliov
10y ago
I'm currently cannot implement my own programming language with dependent types, because there is no fully formalized type theory in type theory itself. And nobody didn't formalized it for 40 years.
2.
▲
by
ruliov
13y ago
Add: <link rel="alternate" type="application/rss+xml" title="Hacker News" href=" https://news.ycombinator.com/rss "> (warning: one space after url) To the main page for RSS autodetecting by browser plugins/etc. Thanks.