Geeks
boystrange
/
FairSubtypingAgda
Agda formalization of fair subtyping for dependent session types
Primary Language
Agda
MIT License
MIT
FairSubtypingAgda GitHub
Markdown
Readme
0
Issues
5
Stargazers
1
Watcher
Stargazers
dannypsnl
@second-state
fangyi-zhou
retail m e g a c o r p
fferreira
London, UK
LcicC
UniversitĂ di Torino
OscarNaretto
Turin