The n-Category Café company blog
Native Type Theory
Note: These pages make extensive use of the latest XHTML and CSS Standards . They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in…
- Points
- 116
- HN comments
- 71
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsProgramming Languages2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 20, 2021 | Native Type Theory by gbrown_ | 116 | 71 |
