[ Source: agda ]
Package: agda-bin (2.6.3-1 and others)
Links for agda-bin
Debian Resources:
Download Source Package agda:
Maintainer:
External Resources:
- Homepage [wiki.portal.chalmers.se]
Similar packages:
Agda 명령행 인터페이스
Agda는 종속 형식에 함수형 프로그래밍 언어입니다: Haskell의 GADT처럼 귀납적 인 관계를 가지고 있지만, 유형이 아닌 단지 값에 의해서 인덱스될 수 있습니다. 모듈, mixfix 연산자, 유니코드 문자, 대화형 Emacs 인터페이스등을 매개변수화 합니다 (형식 검사기는 개발에 도움을 줄 수 있습니다).
Agda는 증명 보조자이기도 합니다: 증명 작성 및 확인을 위한 대화형 시스템입니 다. Agda는 직관주의적 유형 이론을 기반으로 하며, 이 이론은 스웨덴 논리학자 Per Martin-Löf 가 개발한 건설 수학을 위한 기본 시스템입니다. Coq, Epigram, NuPRL 같은 종속 유형을 기반으로 하는 다른 증명 보조자와 많이 유사합니다.
이 패키지는 Agda 프로그램 유형 검사 및 컴파일을 위한 명령행 프로그램을 제공 합니다. 이 프로그램은 또한 Agda 소스에서 하이퍼링크되고 강조된 HTML 파일을 생성할 수 있습니다.
Other Packages Related to agda-bin
|
|
|
|
-
- dep: libc6 (>= 2.29) [hppa, m68k, x32]
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.34) [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+~) [not hppa, ia64, m68k, x32]
- dep: libghc-agda-dev (>= 2.6.1) [hppa, ia64, m68k, x32]
- dep: libghc-agda-dev (>= 2.6.3) [not 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: libtinfo6 (>= 6)
- 터미널 조작을 위한 저수준의 terminfo 공유 라이브러리
-
- dep: zlib1g (>= 1:1.1.4)
- 압축 라이브러리 - 런타임
-
- sug: elpa-agda2-mode
- dependently typed functional programming language — emacs mode
Download agda-bin
| 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.3-1+b3 | 10,011.3 kB | 68,294.0 kB | [list of files] |
| arm64 | 2.6.3-1+b2 | 10,067.2 kB | 78,207.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.3-1+b1 | 15,011.2 kB | 111,007.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.3-1+b1 | 15,696.2 kB | 166,986.0 kB | [list of files] |
| ppc64 (unofficial port) | 2.6.3-1+b7 | 10,817.8 kB | 136,834.0 kB | [list of files] |
| ppc64el | 2.6.3-1+b3 | 11,164.0 kB | 114,620.0 kB | [list of files] |
| riscv64 | 2.6.3-1+b2 | 11,207.6 kB | 77,437.0 kB | [list of files] |
| s390x | 2.6.3-1+b1 | 14,435.3 kB | 117,090.0 kB | [list of files] |
| sparc64 (unofficial port) | 2.6.3-1 | 12,363.7 kB | 222,841.0 kB | [list of files] |
| x32 (unofficial port) | 2.6.1-1+b2 | 34,236.4 kB | 137,406.0 kB | [list of files] |