Lawvere: A categorical programming language with effectsgithub.com/jameshaydon3 pointsagentofuser5 years ago