Giters
gelisam
/
premonoidal
Agda encoding of premonoidal categories
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
3
Issues:
0
Forks:
gelisam/premonoidal Stargazers
Brendan Zabarauskas
brendanzab
Lîm Tsú-thuàn
dannypsnl
Eduardo Jorge
herulume