Simple IO is a purely functional IO library for Coq that provides IO monad, bindings to OCaml...

Tokens:6,489
Snippets:38
Trust Score:9.4
License:MIT
Update:3 months ago
Tokens:
Raw