Package: agda-bin (2.6.2.2-1.1)

[ 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: libc6 (>= 2.34)

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

• dep: libffi8 (>= 3.4)

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

• dep: libghc-agda-dev (<< 2.6.2.2+~)

  dependently typed functional programming language

  dep: libghc-agda-dev (>= 2.6.2.2)

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  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

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	7,570.3 kB	53,947.0 kB	[list of files]
mips64el	14,933.5 kB	162,503.0 kB	[list of files]
ppc64el	10,358.2 kB	108,800.0 kB	[list of files]
s390x	19,734.0 kB	152,891.0 kB	[list of files]