Package: dhall (1.42.3-1 and others)

[ Source: haskell-dhall  ]

linguaggio di configurazione con la garanzia di terminare

Dhall è un linguaggio di configurazione con tipi espliciti che non è Turing-completo. Nonostante sia Turing-incompleto, Dhall è un vero linguaggio di programmazione con controllo dei tipi e valutazione.

Usare questa libreria per parsificare, controllare i tipi, valutare e fare belle stampe del linguaggio di configurazione Dhall.

Questo pacchetto contiene un eseguibile che controlla i tipi di un file Dhall e riduce il file a una forma normale completamente valutata.

Other Packages Related to dhall

• dep: libatomic1 (>= 4.8) [m68k]

  libreria ausiliaria che fornisce funzioni __atomic incorporate

• dep: libc6 (>= 2.29) [m68k]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.42) [not alpha, ia64, m68k]

• dep: libc6.1 (>= 2.37) [ia64]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.42) [alpha]

• dep: libffi7 (>= 3.3~20180313) [m68k]

  Package not available

• dep: libffi8 (>= 3.4) [not m68k]

  libreria eseguibile Foreign Function Interface

• dep: libgmp10 [m68k]

  libreria aritmetica a precisione multipla

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not m68k]

• dep: libnuma1 (>= 2.0.11) [not ia64, m68k]

  librerie per controllare la politica NUMA

• dep: libtinfo6 (>= 6)

  libreria condivisa di basso livello terminfo per la gestione del terminale

• dep: zlib1g (>= 1:1.1.4)

  libreria di compressione - runtime

Download dhall

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.42.3-1	12,122.2 kB	115,968.0 kB	[list of files]
amd64	1.42.3-1+b1	5,381.5 kB	36,121.0 kB	[list of files]
arm64	1.42.3-1+b1	5,343.8 kB	39,586.0 kB	[list of files]
armhf	1.42.3-1+b1	10,171.0 kB	63,873.0 kB	[list of files]
hppa (unofficial port)	1.42.3-1+b1	9,406.1 kB	85,968.0 kB	[list of files]
i386	1.42.3-1+b1	5,358.7 kB	30,386.0 kB	[list of files]
ia64 (unofficial port)	1.41.2-1+b2	16,215.4 kB	365,374.0 kB	[list of files]
loong64	1.42.3-1+b1	11,519.3 kB	100,928.0 kB	[list of files]
m68k (unofficial port)	1.19.1-1+b1	4,523.6 kB	43,633.0 kB	[list of files]
ppc64 (unofficial port)	1.42.3-1+b1	6,521.6 kB	88,529.0 kB	[list of files]
ppc64el	1.42.3-1+b1	6,610.5 kB	73,547.0 kB	[list of files]
riscv64	1.42.3-1	9,621.8 kB	61,431.0 kB	[list of files]
s390x	1.42.3-1+b1	10,782.1 kB	85,323.0 kB	[list of files]
sparc64 (unofficial port)	1.42.3-1+b1	9,278.5 kB	146,249.0 kB	[list of files]