Description
Agda - A dependently typed functional programming language and proof assistant
| Property | Value |
|---|---|
| Distribution | Fedora 27 |
| Repository | Fedora Updates x86_64 |
| Package name | Agda |
| Package version | 2.5.2 |
| Package release | 9.fc27 |
| Package architecture | x86_64 |
| Package type | rpm |
| Installed size | 300.97 KB |
| Download size | 76.04 KB |
| Official Mirror | download-ib01.fedoraproject.org |
Agda is a dependently typed functional programming language: it has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterized modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
Alternatives
| Package | Version | Architecture | Repository |
|---|---|---|---|
| Agda-2.5.2-9.fc27.i686.rpm | 2.5.2 | i686 | Fedora Updates |
| Agda-2.5.2-7.fc27.1.x86_64.rpm | 2.5.2 | x86_64 | Fedora |
| Agda-2.5.2-7.fc27.1.i686.rpm | 2.5.2 | i686 | Fedora |
| Agda | - | - | - |
Requires
| Name | Value |
|---|---|
| ghc-Agda-devel | = 2.5.2-9.fc27 |
Provides
| Name | Value |
|---|---|
| Agda | = 2.5.2-9.fc27 |
| Agda(x86-64) | = 2.5.2-9.fc27 |
| emacs-agda | = 2.5.2-9.fc27 |
Obsoletes
| Name | Value |
|---|---|
| emacs-agda-el | < 2.4.2.2-5 |
Download
| Type | URL |
|---|---|
| Binary Package | Agda-2.5.2-9.fc27.x86_64.rpm |
| Source Package | Agda-2.5.2-9.fc27.src.rpm |
Install Howto
Install Agda rpm package:
# dnf install AgdaFiles
| Path |
|---|
| /usr/share/doc/Agda/README.md |
| /usr/share/emacs/site-lisp/agda/agda-input.el |
| /usr/share/emacs/site-lisp/agda/agda-input.elc |
| /usr/share/emacs/site-lisp/agda/agda2-abbrevs.el |
| /usr/share/emacs/site-lisp/agda/agda2-abbrevs.elc |
| /usr/share/emacs/site-lisp/agda/agda2-highlight.el |
| /usr/share/emacs/site-lisp/agda/agda2-highlight.elc |
| /usr/share/emacs/site-lisp/agda/agda2-mode-pkg.el |
| /usr/share/emacs/site-lisp/agda/agda2-mode-pkg.elc |
| /usr/share/emacs/site-lisp/agda/agda2-mode.el |
| /usr/share/emacs/site-lisp/agda/agda2-mode.elc |
| /usr/share/emacs/site-lisp/agda/agda2-queue.el |
| /usr/share/emacs/site-lisp/agda/agda2-queue.elc |
| /usr/share/emacs/site-lisp/agda/agda2.el |
| /usr/share/emacs/site-lisp/agda/agda2.elc |
| /usr/share/emacs/site-lisp/agda/annotation.el |
| /usr/share/emacs/site-lisp/agda/annotation.elc |
| /usr/share/emacs/site-lisp/agda/eri.el |
| /usr/share/emacs/site-lisp/agda/eri.elc |
| /usr/share/emacs/site-lisp/site-start.d/agda-mode-init.el |
Changelog
2017-11-15 - Jens Petersen <petersen@redhat.com> - 2.5.2-9 - gitrev is now packaged in Fedora
2017-11-10 - Jens Petersen <petersen@redhat.com> - 2.5.2-8 - geniplate-mirror-0.7.5 - gitrev-1.3.1 (#1511680)
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-7.1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-6.1 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-03-12 - Jens Petersen <petersen@redhat.com> - 2.5.2-5 - compile .agda files at buildtime
2017-03-10 - Jens Petersen <petersen@redhat.com> - 2.5.2-4 - update to 2.5.2 - subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash
2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.5-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2017-02-09 - Jens Petersen <petersen@redhat.com> - 2.4.2.5-2 - build subpackage inside main package
2016-10-06 - Jens Petersen <petersen@redhat.com> - 2.4.2.5-1 - update to 2.4.2.5 - subpackage new dep geniplate-mirror
2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
See Also
| Package | Description |
|---|---|
| BackupPC-4.2.1-3.fc27.x86_64.rpm | High-performance backup system |
| BackupPC-XS-0.57-1.fc27.x86_64.rpm | Implementation of various BackupPC functions in a perl-callable module |
| CGAL-4.11.1-1.fc27.i686.rpm | Computational Geometry Algorithms Library |
| CGAL-4.11.1-1.fc27.x86_64.rpm | Computational Geometry Algorithms Library |
| CGAL-demos-source-4.11.1-1.fc27.x86_64.rpm | Examples and demos of CGAL algorithms |
| CGAL-devel-4.11.1-1.fc27.i686.rpm | Development files and tools for CGAL applications |
| CGAL-devel-4.11.1-1.fc27.x86_64.rpm | Development files and tools for CGAL applications |
| CGSI-gSOAP-1.3.11-1.fc27.i686.rpm | GSI plugin for gSOAP |
| CGSI-gSOAP-1.3.11-1.fc27.x86_64.rpm | GSI plugin for gSOAP |
| CGSI-gSOAP-devel-1.3.11-1.fc27.i686.rpm | GSI plugin for gSOAP - development files |
| CGSI-gSOAP-devel-1.3.11-1.fc27.x86_64.rpm | GSI plugin for gSOAP - development files |
| CImg-devel-2.3.6-1.fc27.i686.rpm | Development files for CImg |
| CImg-devel-2.3.6-1.fc27.x86_64.rpm | Development files for CImg |
| COPASI-4.23.184-9.fc27.x86_64.rpm | Biochemical network simulator |
| COPASI-data-4.23.184-9.fc27.noarch.rpm | COPASI data files |
Advertisement
Advertisement