1 search result for "tag:"logpath:SimpleIO""

Showing 1 - 1
  1. coq-simple-io

    No documentation

    IO monad for Coq
    date:2024-09-16 logpath:SimpleIO keyword:extraction keyword:effects
    Li-yao Xia Yishuai Li
    1.10.0
    MIT
    Used by 6 other packages
    17 Sep 2024