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
- Interzoned Mordehai Ignatiosthasis
N2O for Agda is a coinductive reasoning and extraction framework for WebSocket processes built on top of Haskell lightweight version of N2O.