GitHub - xieyuheng/cat: A categorical semantics library in Agda. - discu.eu

Reddit

GitHub - cat: A categorical semantics library in Agda. https://github.com/xieyuheng/cat 4 comments 11/11/2019 compsci

Linked pages

42/C4 | ZeroMQ RFC https://rfc.zeromq.org/spec:42/C4/ 1 comment

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - xieyuheng/cat: A categorical semantics library in Agda.

See how to search.

Submit link to: