https://github.com/ncfavier/agda-stuff
My Agda blog/lab/playground
https://github.com/ncfavier/agda-stuff
agda cubical-type-theory homotopy-type-theory
Last synced: 4 months ago
JSON representation
My Agda blog/lab/playground
- Host: GitHub
- URL: https://github.com/ncfavier/agda-stuff
- Owner: ncfavier
- License: gpl-3.0
- Created: 2022-04-20T17:57:44.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2026-01-31T13:31:33.000Z (4 months ago)
- Last Synced: 2026-02-01T01:07:22.430Z (4 months ago)
- Topics: agda, cubical-type-theory, homotopy-type-theory
- Language: Agda
- Homepage: https://agda.monade.li/
- Size: 253 KB
- Stars: 12
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- License: LICENSE