Package: agda-bin (2.6.4.3-1 and others)

[ Source: agda  ]

Agda 명령행 인터페이스

Agda는 종속 형식에 함수형 프로그래밍 언어입니다: Haskell의 GADT처럼 귀납적 인 관계를 가지고 있지만, 유형이 아닌 단지 값에 의해서 인덱스될 수 있습니다. 모듈, mixfix 연산자, 유니코드 문자, 대화형 Emacs 인터페이스등을 매개변수화 합니다 (형식 검사기는 개발에 도움을 줄 수 있습니다).

Agda는 증명 보조자이기도 합니다: 증명 작성 및 확인을 위한 대화형 시스템입니 다. Agda는 직관주의적 유형 이론을 기반으로 하며, 이 이론은 스웨덴 논리학자 Per Martin-Löf 가 개발한 건설 수학을 위한 기본 시스템입니다. Coq, Epigram, NuPRL 같은 종속 유형을 기반으로 하는 다른 증명 보조자와 많이 유사합니다.

이 패키지는 Agda 프로그램 유형 검사 및 컴파일을 위한 명령행 프로그램을 제공 합니다. 이 프로그램은 또한 Agda 소스에서 하이퍼링크되고 강조된 HTML 파일을 생성할 수 있습니다.

Tags: Software Development: Testing and QA, User Interface: Command Line, Role: role::program, uitoolkit::ncurses

Other Packages Related to agda-bin

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

  __atomic 내장 기능을 제공하는 지원 라이브러리

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

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.38) [not alpha, hppa, ia64, m68k, x32]

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

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6.1-udeb

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

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

  Package not available

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

  외부 함수 인터페이스 라이브러리 런타임

• dep: libghc-agda-dev (<< 2.6.1+~) [hppa, ia64, m68k, x32]

  dependently typed functional programming language

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

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

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

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

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

• dep: libgmp10 [ia64]

  Multiprecision 연산 라이브러리

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

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not hppa, ia64, m68k, x32]

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

  NUMA 정책을 제어하기 위한 라이브러리

• dep: libtinfo6 (>= 6)

  터미널 조작을 위한 저수준의 terminfo 공유 라이브러리

• dep: zlib1g (>= 1:1.1.4)

  압축 라이브러리 - 런타임

• sug: elpa-agda2-mode

  dependently typed functional programming language — emacs mode

Download agda-bin

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.6.3-1	17,254.1 kB	169,046.0 kB	[list of files]
amd64	2.6.4.3-1	9,621.3 kB	66,537.0 kB	[list of files]
arm64	2.6.4.3-1	9,642.4 kB	73,704.0 kB	[list of files]
armel	2.6.4.3-1+b1	13,650.6 kB	86,671.0 kB	[list of files]
hppa (unofficial port)	2.6.1-1+b3	15,732.6 kB	208,519.0 kB	[list of files]
i386	2.6.4.3-1+b1	14,402.1 kB	106,992.0 kB	[list of files]
ia64 (unofficial port)	2.6.1-1+b1	22,542.7 kB	701,265.0 kB	[list of files]
m68k (unofficial port)	2.6.1-1+b1	10,580.7 kB	113,533.0 kB	[list of files]
mips64el	2.6.4.3-1+b1	14,348.1 kB	140,676.0 kB	[list of files]
ppc64 (unofficial port)	2.6.4.3-1	9,178.5 kB	124,410.0 kB	[list of files]
ppc64el	2.6.4.3-1	9,238.9 kB	103,221.0 kB	[list of files]
riscv64	2.6.4.3-1	12,786.6 kB	82,288.0 kB	[list of files]
s390x	2.6.4.3-1	19,309.6 kB	143,968.0 kB	[list of files]
sparc64 (unofficial port)	2.6.4.3-1	12,602.1 kB	216,652.0 kB	[list of files]
x32 (unofficial port)	2.6.1-1+b2	34,236.4 kB	137,406.0 kB	[list of files]