Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/gergoerdi/cubical-freemonoids

agda beamer cubical-type-theory homotopy-type-theory monoid pandoc-markdown

Last synced: about 1 month ago
JSON representation

Free monoids take a price HIT

Host: GitHub
URL: https://github.com/gergoerdi/cubical-freemonoids
Owner: gergoerdi
Created: 2019-10-07T12:18:42.000Z (about 5 years ago)
Default Branch: master
Last Pushed: 2020-01-08T00:54:44.000Z (almost 5 years ago)
Last Synced: 2023-04-22T16:46:48.872Z (over 1 year ago)
Topics: agda, beamer, cubical-type-theory, homotopy-type-theory, monoid, pandoc-markdown
Language: TeX
Homepage: http://unsafePerform.IO/talks
Size: 148 KB
Stars: 3
Watchers: 2
Forks: 0
Open Issues: 0