Geeks
jbracker
/
polymonad-proofs
Agda proofs about polymonads
Primary Language
Agda
polymonad-proofs GitHub
Markdown
Readme
0
Issues
8
Stargazers
3
Watchers
Stargazers
bond15
Two Six Labs
cyberglot
Glasgow, UK
demiurg906
@JetBrains
jonfowler
Cambridge
relrod
Red Hat, Inc.
scott-fleischman
yuxuanchiadm
China