Lawvere: A categorical programming language with effects(github.com)3 points·by agentofuser·il y a 5 ans·0 commentsgithub.comLawvere: A categorical programming language with effectshttps://github.com/jameshaydon/lawvere0 commentsPost comment—