Mateusz Kowalczyk
|
12cb1dcb18
|
agda-TotalParserCombinators: mark as broken
Due to 0.9 stdlib update, author notified.
|
2014-11-20 21:16:33 +00:00 |
|
Mateusz Kowalczyk
|
997b4bff29
|
agda-pretty: mark as broken
Broken by updating the stdlib to 0.9. For now I let the author know.
|
2014-11-20 09:04:54 +00:00 |
|
Mateusz Kowalczyk
|
73db2dab55
|
agda-iowa-stdlib: update to r18734
Now works with Agda 2.4.2.1
|
2014-11-18 07:58:50 +00:00 |
|
Mateusz Kowalczyk
|
9ee5b8d3fc
|
agda-iowa-stdlib: mark as broken
The recent update of Agda breaks this, including the most recent SVN
checkout. I notified the author but marking as broken until a fix is
committed.
|
2014-11-17 17:13:01 +00:00 |
|
Mateusz Kowalczyk
|
2e51b2e18a
|
agda-base: new package
|
2014-10-02 09:49:42 +01:00 |
|
Mateusz Kowalczyk
|
714dc47696
|
agda-iowa-stdlib: renamed from aaron-stump-stdlib
Per author's request.
|
2014-09-28 02:21:21 +01:00 |
|
Mateusz Kowalczyk
|
d8f2c32bcf
|
agda-aaron-stump-stdlib: new package
|
2014-09-27 04:25:26 +01:00 |
|
Mateusz Kowalczyk
|
d409ae809a
|
agda-pretty: new package
|
2014-09-27 03:30:30 +01:00 |
|
Mateusz Kowalczyk
|
4ed56b013f
|
agda-TotalParserCombinators: new package
|
2014-09-27 03:23:22 +01:00 |
|
Mateusz Kowalczyk
|
4d2a3933a4
|
agda-prelude: new package
|
2014-09-27 02:35:54 +01:00 |
|
Mateusz Kowalczyk
|
87eb8fcf83
|
agda-categories: add package
|
2014-09-16 02:47:13 +01:00 |
|
Mateusz Kowalczyk
|
37900c35c3
|
agda: add bitvector
|
2014-09-11 20:35:56 +01:00 |
|
Mateusz Kowalczyk
|
270c7f0622
|
agda-sheaves: use lib.licenses
|
2014-09-11 19:51:24 +01:00 |
|
Mateusz Kowalczyk
|
d084f40c01
|
agda: add Agda-Sheaves
|
2014-09-11 18:49:28 +01:00 |
|