Paketti: libcoq-simple-io (1.8.0-4)

[ Source: coq-simple-io  ]

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.

Muut pakettiin libcoq-simple-io liittyvät paketit

• dep: libcoq-ext-lib-3kku9 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-6zfl9 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-d3892 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-e9i60 [i386]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-o4nb2 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-ymtb4 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-stdlib-4ny94 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-6gs52 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-77cs8 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-b6j36 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-onxh8 [i386]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-xmpq7 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

Imuroi libcoq-simple-io

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	88.1 kt	717.0 kt	[tiedostoluettelo]
arm64	90.3 kt	869.0 kt	[tiedostoluettelo]
armhf	87.0 kt	666.0 kt	[tiedostoluettelo]
i386	86.4 kt	672.0 kt	[tiedostoluettelo]
ppc64el	88.6 kt	741.0 kt	[tiedostoluettelo]
s390x	87.9 kt	717.0 kt	[tiedostoluettelo]