Package: agda-bin (2.6.3-1) [debports]
Links for agda-bin
Debian Resources:
Download Source Package :
Not foundMaintainers:
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.1 (>= 2.34)
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6.1-udeb
-
- dep: libffi8 (>= 3.4)
- 외부 함수 인터페이스 라이브러리 런타임
-
- dep: libghc-agda-dev (<< 2.6.3+~)
- dependently typed functional programming language
- dep: libghc-agda-dev (>= 2.6.3)
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision 연산 라이브러리
-
- 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 | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha (unofficial port) | 17,254.1 kB | 169,046.0 kB | [list of files] |