|
agda-base
|
agda-base: new package
|
2014-10-02 09:49:42 +01:00 |
|
agda-iowa-stdlib
|
agda-iowa-stdlib: update to r18734
|
2014-11-18 07:58:50 +00:00 |
|
agda-prelude
|
agda-prelude: new package
|
2014-09-27 02:35:54 +01:00 |
|
AgdaSheaves
|
agda-sheaves: use lib.licenses
|
2014-09-11 19:51:24 +01:00 |
|
bitvector
|
agda: add bitvector
|
2014-09-11 20:35:56 +01:00 |
|
categories
|
agda-categories: add package
|
2014-09-16 02:47:13 +01:00 |
|
pretty
|
agda-pretty: update darcs revision
|
2014-12-03 17:13:53 +00:00 |
