[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Source: ]

Package: libcoq-simple-io (1.9.0-2) [debports]

Links for libcoq-simple-io

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

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.

Other Packages Related to libcoq-simple-io

depends

recommends

suggests

enhances

dep: libcoq-ext-lib-kj854

virtual package provided by libcoq-ext-lib
dep: libcoq-stdlib-mz9g4

virtual package provided by libcoq-stdlib

Download libcoq-simple-io

Download for all available architectures
Architecture	Package Size	Installed Size	Files
loong64 (unofficial port)	208.2 kB	1,360.0 kB	[list of files]