|
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 |
