Lawvere is a programming language created in 2021 by James Henri Haydon.
Lawvere - a categorical programming language with effects
View source