|
|
| | The Ur Programming Language (impredicative.com) | | 126 points by Tomte on Jan 27, 2024 | past | 44 comments | |
| | The Ur Programming Language Family (impredicative.com) | | 2 points by andai on Sept 26, 2021 | past | |
| | The Ur Programming Language (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 (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
|
