gergoerdi/cubical-freemonoids

Free monoids take a price HIT

语言：TeX · GitHub 星标：4 · Fork：0

话题：agda · beamer · cubical-type-theory · homotopy-type-theory · monoid · pandoc-markdown

在 GitHub 上查看原仓库