The Ur Programming Language Family (impredicative.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 27 Jan 18:51
https://programming.dev/post/9198495

A functional, type-heavy language.

“Family” because there’s Ur, and Ur/Web which is augmented for web applications.

#programming_languages