effectfully/OTT

Observational Type Theory as an Agda library

Agda