| Versions [RSS] | 2.2.0, 2.2.2, 2.2.4, 2.2.6, 2.2.8, 2.2.10, 2.3.0, 2.3.0.1, 2.3.2, 2.3.2.1, 2.3.2.2, 2.4.0, 2.4.0.1, 2.4.0.2, 2.4.2, 2.4.2.1, 2.4.2.2, 2.4.2.3, 2.4.2.4, 2.4.2.5, 2.5.1, 2.5.1.1, 2.5.1.2, 2.5.2, 2.5.3, 2.5.4, 2.5.4.1, 2.5.4.2, 2.6.0, 2.6.0.1, 2.6.1, 2.6.1.1, 2.6.1.2, 2.6.1.3, 2.6.2, 2.6.2.1, 2.6.2.2, 2.6.3, 2.6.3.1, 2.6.4, 2.6.4.1, 2.6.4.2, 2.6.4.3, 2.7.0, 2.7.0.1, 2.8.0 (info) |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | Agda, array (>=0.5.1.0 && <0.6), async (>=2.2 && <2.3), base (>=4.8.0.0 && <4.12), binary (>=0.7.3.0 && <0.9), blaze-html (>=0.8 && <0.10), boxes (>=0.1.3 && <0.2), bytestring (>=0.10.6.0 && <0.11), containers (>=0.5.6.2 && <0.6), data-hash (>=0.2.0.0 && <0.3), deepseq (>=1.4.1.1 && <1.5), directory (>=1.2.2.0 && <1.4), EdisonCore (==1.3.1.1 || >=1.3.2.1 && <1.4), edit-distance (>=0.2.1.2 && <0.3), equivalence (>=0.3.2 && <0.4), fail (>=4.9 && <4.10), filepath (>=1.4.0.0 && <1.5), geniplate-mirror (>=0.6.0.6 && <0.8), gitrev (>=1.3.1 && <2.0), hashable (>=1.2.1.0 && <1.3), hashtables (>=1.2.0.2 && <1.3), haskeline (>=0.7.2.1 && <0.8), ieee754 (>=0.7.8 && <0.9), mtl (>=2.2.1 && <2.3), murmur-hash (>=0.1 && <0.2), pretty (>=1.1.2.0 && <1.2), process (>=1.2.3.0 && <1.7), regex-tdfa (>=1.2.2 && <1.3), semigroups (>=0.18 && <0.19), stm (>=2.4.4 && <2.5), strict (>=0.3.2 && <0.4), template-haskell (>=2.10.0.0 && <2.14), text (>=0.11.3.1 && <1.3), text-icu (>=0.7 && <0.8), time (>=1.5.0.1 && <1.9), transformers (==0.4.2.0 || ==0.5.2.0 || ==0.5.5.0), unordered-containers (>=0.2.5.0 && <0.3), uri-encode (>=1.5.0.4 && <1.6), Win32 (>=2.3.1.0 && <2.7), zlib (>=0.4.0.1 && <0.7) [details] |
| Tested with | ghc ==7.10.3, ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.3 |
| License | LicenseRef-OtherLicense |
| Author | Agda 2 was originally written by Ulf Norell, partially based on code from Agda 1 by Catarina Coquand and Makoto Takeyama, and from Agdalight by Ulf Norell and Andreas Abel. Agda 2 is currently actively developed mainly by Andreas Abel, Guillaume Allais, Jesper Cockx, Nils Anders Danielsson, Philipp Hausmann, Fredrik Nordvall Forsberg, Ulf Norell, Víctor López Juan, Andrés Sicard-Ramírez, and Andrea Vezzosi. Further, Agda 2 has received contributions by, amongst others, Stevan Andjelkovic, Marcin Benke, Jean-Philippe Bernardy, Guillaume Brunerie, James Chapman, Dominique Devriese, Péter Diviánszki, Olle Fredriksson, Adam Gundry, Daniel Gustafsson, Kuen-Bang Hou (favonia), Patrik Jansson, Alan Jeffrey, Wolfram Kahl, Wen Kokke, Fredrik Lindblad, Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin, Nicolas Pouillard, Nobuo Yamashita, Christian Sattler, and Makoto Takeyama and many more. |
| Maintainer | Ulf Norell <ulfn@chalmers.se> |
| Uploaded | by AndresSicardRamirez at 2018-06-02T19:22:15Z |
| Category | Dependent types |
| Home page | http://wiki.portal.chalmers.se/agda/ |
| Bug tracker | https://github.com/agda/agda/issues |
| Source repo | head: git clone https://github.com/agda/agda.git this: git clone https://github.com/agda/agda.git(tag v2.5.4) |
| Distributions | Arch:2.6.4.3, Fedora:2.8.0, LTSHaskell:2.8.0, Stackage:2.8.0 |
| Reverse Dependencies | 8 direct, 1 indirect [details] |
| Executables | agda-mode, agda |
| Downloads | 67319 total (130 in the last 30 days) |
| Rating | 2.75 (votes: 10) [estimated by Bayesian average] |
| Your Rating |
|
| Status | Docs uploaded by user Build status unknown [no reports yet] |