arianvp/types-and-statemachines
Research project about types and state machines, and their applications in HTTP
Agda
No issues in this repository yet.
Research project about types and state machines, and their applications in HTTP
Agda
No issues in this repository yet.