Lawvere: A categorical programming language with effects(github.com)3 ポイント·投稿者 agentofuser·5 年前·0 コメントgithub.comLawvere: A categorical programming language with effectshttps://github.com/jameshaydon/lawvere0 コメントコメントを投稿—