/types-and-statemachines

Research project about types and state machines, and their applications in HTTP

Primary LanguageAgda

Stargazers