Simple IO

https://github.com/lysxia/coq-simple-io

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