/io

A library for effects in Coq.

Primary LanguageCoqMIT LicenseMIT

Stargazers