Lawvere: A categorical programming language with effects #1 Post by agentofuser » Sun, Jul 18, 2021, 12:19 PM UTC Lawvere: A categorical programming language with effectsgithub.com