https://github.com/gergoerdi/cubical-freemonoids
Free monoids take a price HIT
https://github.com/gergoerdi/cubical-freemonoids
agda beamer cubical-type-theory homotopy-type-theory monoid pandoc-markdown
Last synced: 3 months 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 (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-01-08T00:54:44.000Z (over 5 years ago)
- Last Synced: 2025-01-17T11:43:54.808Z (4 months 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: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files: