| | 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 |
|
