Pakket: libghc-copilot-language-dev (3.13-1) [debports]

[ Bron:  ]

DSL for monitoring hard real-time distributed systems.

The concrete syntax for Copilot.

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.

Andere aan libghc-copilot-language-dev gerelateerde pakketten

• dep: libc6 (>= 2.1.3)

  GNU C Bibliotheek: Gedeelde bibliotheken
  Ook een virtueel pakket geboden door: libc6-udeb

• dep: libghc-array-dev-0.5.4.0-9451b

  virtueel pakket geboden door ghc

• dep: libghc-base-dev-4.15.1.0-64902

  virtueel pakket geboden door ghc

• dep: libghc-containers-dev-0.6.4.1-4d368

  virtueel pakket geboden door ghc

• dep: libghc-copilot-core-dev-3.13-559e0

  virtueel pakket geboden door libghc-copilot-core-dev

• dep: libghc-copilot-interpreter-dev-3.13-8b67b

  virtueel pakket geboden door libghc-copilot-interpreter-dev

• dep: libghc-copilot-prettyprinter-dev-3.13-31ee7

  virtueel pakket geboden door libghc-copilot-prettyprinter-dev

• dep: libghc-copilot-theorem-dev-3.13-91067

  virtueel pakket geboden door libghc-copilot-theorem-dev

• dep: libghc-data-reify-dev-0.6.3-e51d5

  virtueel pakket geboden door libghc-data-reify-dev

• dep: libghc-mtl-dev-2.2.2-0ad77

  virtueel pakket geboden door ghc

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Multiprecision arithmetic library

• dep: zlib1g (>= 1:1.1.4)

  compressiebibliotheek - programma's

libghc-copilot-language-dev downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
m68k (unofficial port)	233,1 kB	2.022,0 kB	[overzicht]