Balík: agda-bin (2.6.4.3-1 a iné)

Odkazy pre agda-bin

Zdroje Debian:

Stiahnuť zdrojový balík agda:

Správca:

Debian Haskell Group (Stránka QA, Konferencia)

Externé zdroje:

Domovská stránka [wiki.portal.chalmers.se]

Podobné balíky:

commandline interface to Agda

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code).

Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.

Značky: Software Development: Testing and QA, User Interface: Príkazový riadok, Role: role::program, uitoolkit::ncurses

Ostatné balíky súvisiace s balíkom agda-bin

závisí

odporúča

navrhuje

vylepšuje

dep: libatomic1 (>= 4.8) [armel]

pomocná knižnica poskytujúca zabudované funkcie __atomic
dep: libc6 (>= 2.29) [m68k, x32]

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb

dep: libc6 (>= 2.38) [nie alpha, ia64, loong64, m68k, x32]

dep: libc6 (>= 2.40) [loong64]
dep: libc6.1 (>= 2.31) [ia64]

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6.1-udeb

dep: libc6.1 (>= 2.34) [alpha]
dep: libffi7 (>= 3.3~20180313) [ia64]

Balík nie je dostupný
dep: libffi8 (>= 3.4) [nie ia64]

rozhranie k cudzím funkciám - dynamická knižnica
dep: libghc-agda-dev (<< 2.6.1+~) [ia64, m68k, x32]

dependently typed functional programming language

dep: libghc-agda-dev (<< 2.6.3+~) [alpha]

dep: libghc-agda-dev (<< 2.6.4.3+~) [nie alpha, ia64, m68k, x32]

dep: libghc-agda-dev (>= 2.6.1) [ia64, m68k, x32]

dep: libghc-agda-dev (>= 2.6.3) [alpha]

dep: libghc-agda-dev (>= 2.6.4.3) [nie alpha, ia64, m68k, x32]
dep: libgmp10 [ia64]

aritmetická knižnica s viacnásobnou presnosťou

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

dep: libgmp10 (>= 2:6.3.0+dfsg) [nie ia64, m68k, x32]
dep: libnuma1 (>= 2.0.11) [nie alpha, ia64, m68k, x32]

knižnice na riadenie politiky NUMA
dep: libtinfo6 (>= 6)

zdieľaná nízkoúrovňová knižnica terminfo na obsluhu terminálu
dep: zlib1g (>= 1:1.1.4)

komprimačná knižnica - dynamická verzia

sug: elpa-agda2-mode

dependently typed functional programming language — emacs mode

Stiahnuť agda-bin

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	2.6.3-1	17,254.1 kB	169,046.0 kB	[zoznam súborov]
amd64	2.6.4.3-1+b2	9,615.6 kB	66,534.0 kB	[zoznam súborov]
arm64	2.6.4.3-1+b2	9,637.4 kB	73,633.0 kB	[zoznam súborov]
armel	2.6.4.3-1+b1	13,650.6 kB	86,671.0 kB	[zoznam súborov]
hppa (neoficiálny port)	2.6.4.3-1+b1	14,393.5 kB	163,367.0 kB	[zoznam súborov]
i386	2.6.4.3-1+b2	14,410.8 kB	106,984.0 kB	[zoznam súborov]
ia64 (neoficiálny port)	2.6.1-1+b1	22,542.7 kB	701,265.0 kB	[zoznam súborov]
loong64 (neoficiálny port)	2.6.4.3-1+b1	13,462.5 kB	107,252.0 kB	[zoznam súborov]
m68k (neoficiálny port)	2.6.1-1+b1	10,580.7 kB	113,533.0 kB	[zoznam súborov]
mips64el	2.6.4.3-1+b1	14,348.1 kB	140,676.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	2.6.4.3-1	9,178.5 kB	124,410.0 kB	[zoznam súborov]
ppc64el	2.6.4.3-1	9,238.9 kB	103,221.0 kB	[zoznam súborov]
riscv64	2.6.4.3-1	12,786.6 kB	82,288.0 kB	[zoznam súborov]
s390x	2.6.4.3-1	19,309.6 kB	143,968.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	2.6.4.3-1	12,602.1 kB	216,652.0 kB	[zoznam súborov]
x32 (neoficiálny port)	2.6.1-1+b2	34,236.4 kB	137,406.0 kB	[zoznam súborov]