Geeks
elpinal
/
subtyping-agda
Some rudimentary proofs on subtyping
Primary Language
Agda
Apache License 2.0
Apache-2.0
subtyping-agda GitHub
Markdown
Readme
0
Issues
11
Stargazers
2
Watchers
Stargazers
Davidharvey589
canada quebec
brendanzab
Melbourne, Australia
dannypsnl
Taiwan
tkersey
Los Angeles, CA
Kraks
anqurvanillapy
Chengdu, China
jiangsy
wolverian
Helsinki, Finland
cpressey
Office... submarine!
ebigram
vvvyz