4
4
Upstream-Source: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
7
Copyright: 2007-2009 Nils Anders Danielsson, Ulf Norell, Shin-Cheng Mu, Samuel
7
Copyright: 2007-2011 Nils Anders Danielsson, Ulf Norell, Shin-Cheng Mu, Samuel
8
8
Bronson, Dan Doel, Patrik Jansson, Liang-Ting Chen, Jean-Philippe
9
9
Bernardy, Andrés Sicard-Ramírez, Nicolas Pouillard, Darin Morrison