laMudri 072ce88eb9 agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)		2016-05-21 17:27:31 +01:00
..
agda-base
agda-iowa-stdlib
agda-prelude
Agda-Sheaves
agda-stdlib	agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)	2016-05-21 17:27:31 +01:00
bitvector
categories	categories: mark as broken cc #9471	2015-09-04 10:43:45 +02:00
pretty
TotalParserCombinators