Bug#522924:

2009-07-12 Thread Iain Lane
retitle 522924 ITP: agda -- a dependently typed functional programming language and proof assistant retitle 522914 ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant thanks Seems like I got the bug numbers messed up in the c

Bug#522924: ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant

2009-04-07 Thread Iain Lane
Package: wnpp Severity: wishlist Owner: Iain Lane * Package name: agda-stdlib Version : unreleased Upstream Author : Nils Anders Danielsson * URL : http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary * License : MIT/X Programming Lang: