Ur/Web: The Ur Programming Language Familyimpredicative.com16 points·gdp··1 commentOpen articleSaveView on HN