Lawvere: A categorical programming language with effects(github.com)3 points·by agentofuser·5 ปีที่แล้ว·0 commentsgithub.comLawvere: A categorical programming language with effectshttps://github.com/jameshaydon/lawvere0 commentsPost comment—