tüm seçenekler
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Kaynak: haskell-copilot-prettyprinter  ]

Paket: libghc-copilot-prettyprinter-dev (4.3-1)

libghc-copilot-prettyprinter-dev için bağlantılar

Screenshot

Debian Kaynakları:

haskell-copilot-prettyprinter Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

Prettyprinter of Copilot Specifications

Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools.

A tutorial, examples, and other information are available at <https://copilot-language.github.io>.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

libghc-copilot-prettyprinter-dev ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libghc-copilot-prettyprinter-dev indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 43,8 kB355,0 kB [dosya listesi]
arm64 44,0 kB454,0 kB [dosya listesi]
armel 46,9 kB367,0 kB [dosya listesi]
armhf 46,9 kB368,0 kB [dosya listesi]
i386 63,6 kB427,0 kB [dosya listesi]
ppc64el 51,1 kB610,0 kB [dosya listesi]
riscv64 67,0 kB720,0 kB [dosya listesi]
s390x 57,3 kB632,0 kB [dosya listesi]