aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
AgeCommit message (Expand)Author
2020-03-16gnu: agda: Use HTTPS home page....Tobias Geerinckx-Rice
2019-11-20gnu: agda: Update to 2.6.0.1....Timothy Sample
2019-08-31gnu: Move non-compilers out of haskell.scm....Robert Vollmert
2019-08-28gnu: agda-ial: Fix install step....John Soo
2019-08-28gnu: agda-ial: Fetch source from Git....Ludovic Courtès
2019-08-28gnu: Add agda-ial....John Soo
2019-08-07gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml....Robert Vollmert
2019-02-24gnu: agda: Update to 2.5.4.2....Tobias Geerinckx-Rice
2018-10-19build-system/haskell: Use 'strip-store-file-name'....Alex Vong
2018-10-01gnu: agda: Fix build....Ricardo Wurmus
2018-10-01gnu: agda: Update to 2.5.4.1....Timothy Sample
2018-10-01gnu: ghc-mtl: Remove built-in Haskell package....Timothy Sample
2018-07-29gnu: Add emacs-agda2-mode...Alex ter Weele
2018-07-29gnu: agda: Compile .agda files....Alex ter Weele
2018-02-26gnu: Add agda....Alex ter Weele