Lawvere: A categorical programming language with effects Posted by agentofuser on Sunday July 18, 2021 @08:19AM from the github.com dept. https://github.com/jameshaydon/lawvere ( no comments | 3 points | on HN )
There are no comments yet.