O4 ECO

N2O for Agda

N2O for Agda is a coinductive reasoning and extraction framework for WebSocket processes built on top of Haskell lightweight version of N2O.

CONTRIBUTORS