summary refs log tree commit diff
path: root/pkgs/development/compilers/agda
Commit message (Expand)AuthorAge
* haskell-Agda: update to 2.4.2.2Mateusz Kowalczyk2014-12-10
* AgdaStdlib: update to 0.9Mateusz Kowalczyk2014-11-17
* haskell-Agda: update to version 2.4.2.1Peter Simons2014-11-14
* Fixed many descriptionsPascal Wittmann2014-11-11
* agda: jailbreak to fix build with recent versions of 'text'Peter Simons2014-11-01
* agda: add fuuzetsu to maintainersMateusz Kowalczyk2014-10-15
* agda: fix licenseMateusz Kowalczyk2014-09-11
* agda-stdlib: make expression nicer, fix licenseMateusz Kowalczyk2014-09-11
* fix evalDomen Kožar2014-09-05
* Use agda builder for stdlib. mv to all-packagesMateusz Kowalczyk2014-09-01
* agda-stdlib: update to 0.8.1Mateusz Kowalczyk2014-08-31
* haskell-Agda: update to version 2.4.2Peter Simons2014-08-31
* Agda: drop obsolete version 2.3.2.2Peter Simons2014-07-31
* Agda: update to version 2.4.0.2Peter Simons2014-07-31
* haskell-agda-stdlib: properly reference ghc and runhaskellJohn Wiegley2014-07-12
* agda-stdlib: no need to jailbreak anymoreMathijs Kwik2014-06-19
* agda-stdlib: upgrade to 0.8 (they keep changing the version scheme)Mathijs Kwik2014-06-17
* Agda: add 2.4.0.1, 2.3.2.2 is still the default for nowJohn Wiegley2014-06-16
* Build AgdaStdlib before installing itJohn Wiegley2014-05-05
* Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.Peter Simons2014-05-04
* Agda: move compiler and standard library into a common directoryPeter Simons2014-05-03
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-19 14:21:55 +0000