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

[ Kaynak: coq-simple-io ]

Paket: libcoq-simple-io (1.11.0-1 ve diğerleri)

libcoq-simple-io için bağlantılar

Debian Kaynakları:

coq-simple-io Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

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 ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-ext-lib-hjs39

sanal paketi sağlayan libcoq-ext-lib
dep: libcoq-stdlib-68yx1

sanal paketi sağlayan libcoq-stdlib

libcoq-simple-io indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	1.11.0-1+b1	267,1 kB	917,0 kB	[dosya listesi]