Agda라는 이름의 Linux 앱으로, 최신 버전은 Agda-v2.8.0-win64.zip으로 다운로드할 수 있습니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
Agda with OnWorks라는 앱을 무료로 다운로드하여 온라인에서 실행해보세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린샷:
아그 다
설명 :
Agda는 마틴-뢰프의 타입 이론을 기반으로 하는 종속적 타입을 갖는 전체 함수형 프로그래밍 언어이자 대화형 정리 증명기입니다. 커리-하워드 대응 관계를 사용하여 동일한 언어로 프로그램과 증명을 표현할 수 있습니다. Emacs, Atom 또는 VS Code를 통한 대화형 개발이 가능합니다.
기능
- 증명을 유형으로 인코딩할 수 있는 종속형 언어
- 일관성을 보장하기 위한 전체성 및 종료 검사
- 메타변수와 Emacs/Vim/VS Code 통합을 통한 대화형 증명 개발
- Haskell을 연상시키는 유니코드 지원 및 구문
- 핵심 데이터 구조 및 증명에 대한 정의를 포함하는 표준 라이브러리
- 컴파일 대상을 위한 MAlonzo(Haskell) 및 JavaScript를 포함한 백엔드
프로그래밍 언어
하스켈
카테고리
이 애플리케이션은 https://sourceforge.net/projects/agda.mirror/에서도 다운로드할 수 있습니다. OnWorks에 호스팅되어 무료 운영 체제 중 하나에서 가장 쉽게 온라인에서 실행할 수 있습니다.