Lawvere: A categorical programming language with effectsgithub.com3 points·agentofuser··0 commentsOpen articleSaveView on HN