/temporal-type-systems

Formalisation of a temporal type system in Agda

Primary LanguageAgdaMIT LicenseMIT

Watchers