|
|
| | The Ur Programming Language Family (impredicative.com) | |
126 points by Tomte 10 months ago | past | 44 comments
|
|
| | The Ur Programming Language Family (impredicative.com) | |
2 points by andai on Sept 26, 2021 | past
|
|
| | The Ur Programming Language Family (impredicative.com) | |
67 points by dmmalam on Sept 4, 2015 | past | 18 comments
|
|
| | The Ur Programming Language (impredicative.com) | |
2 points by YAYERKA on Dec 5, 2014 | past
|
|
| | The Ur Programming Language Family (impredicative.com) | |
1 point by petercooper on July 30, 2014 | past
|
|
| | Ur/web: pure functional, statically typed web programming (impredicative.com) | |
104 points by dpkgreconfigure on June 1, 2014 | past | 45 comments
|
|
| | Ur/Web in production (impredicative.com) | |
7 points by vshabanov on Jan 16, 2014 | past | 1 comment
|
|
| | Web application programming with dependent types (impredicative.com) | |
1 point by szany on April 15, 2011 | past
|
|
| | The UR Programming Language (impredicative.com) | |
11 points by chasingsparks on Oct 4, 2010 | past | 1 comment
|
|
| | The Ur Programming Language Family (impredicative.com) | |
44 points by bmm6o on June 8, 2010 | past | 11 comments
|
|
| | Ur/Web: The Ur Programming Language Family (impredicative.com) | |
16 points by gdp on Sept 8, 2009 | past | 1 comment
|
|
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
