Geeks
DimaSamoz
/
temporal-type-systems
Formalisation of a temporal type system in Agda
Primary Language
Agda
MIT License
MIT
temporal-type-systems GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
temporal-type-systems
Formalisation of a temporal type system in Agda