[ 源代码： coq-simple-io ]
软件包：libcoq-simple-io（1.9.0-1）
Coq plugin for purely functional IO
This package provides a plugin to implement Input/Output (IO) programs directly in Coq, in a style similar to Haskell's.
Coq is a proof assistant for higher-order logic.
其他与 libcoq-simple-io 有关的软件包
|
|
|
|
-
- dep: libcoq-ext-lib-28nz8
- 本虚包由这些包填实： libcoq-ext-lib
-
- dep: libcoq-stdlib-rhfg4
- 本虚包由这些包填实： libcoq-stdlib