 Lars-Dominik Braun
|
b97f549b14
gnu: Update Haskell ecosystem.
|
3 роки тому |
 Timothy Sample
|
8d06906017
gnu: agda: Adjust for using shared libraries.
|
4 роки тому |
 Tobias Geerinckx-Rice
|
0d2753ccc1
gnu: agda: Use HTTPS home page.
|
4 роки тому |
|
Timothy Sample
|
27109c7175
gnu: agda: Update to 2.6.0.1.
|
5 роки тому |
 Robert Vollmert
|
dddbc90c64
gnu: Move non-compilers out of haskell.scm.
|
5 роки тому |
 John Soo
|
83ac4c099a
gnu: agda-ial: Fix install step.
|
5 роки тому |
 Ludovic Courtès
|
48752f277c
gnu: agda-ial: Fetch source from Git.
|
5 роки тому |
|
John Soo
|
276f598abc
gnu: Add agda-ial.
|
5 роки тому |
|
Robert Vollmert
|
a1eb8be8ca
gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.
|
5 роки тому |
|
Tobias Geerinckx-Rice
|
d9c8009832
gnu: agda: Update to 2.5.4.2.
|
6 роки тому |
 Alex Vong
|
58352f269e
build-system/haskell: Use 'strip-store-file-name'.
|
6 роки тому |
 Ricardo Wurmus
|
787231e957
gnu: agda: Fix build.
|
6 роки тому |
|
Timothy Sample
|
5ebadb584b
gnu: agda: Update to 2.5.4.1.
|
6 роки тому |
|
Timothy Sample
|
f54f04756f
gnu: ghc-mtl: Remove built-in Haskell package.
|
6 роки тому |
 Alex ter Weele
|
1237653aa5
gnu: Add emacs-agda2-mode
|
6 роки тому |
|
Alex ter Weele
|
253340dcc8
gnu: agda: Compile .agda files.
|
6 роки тому |
|
Alex ter Weele
|
f61682e7ea
gnu: Add agda.
|
6 роки тому |
