Bug#522914:

2009-07-12 Thread Iain Lane
* Package name: agda-stdlib Version : 0.2 Upstream Author : Nils Anders Danielsson * URL : http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary * License : MIT/X Programming Lang: Agda Description : standard library for Agda - a dep

Bug#522914: ITP: 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 Version : 2.2.0 Upstream Author : Ulf Norell * URL : http://wiki.portal.chalmers.se/agda/ * License : MIT/X11 Programming Lang: Haskell Description : a dependently typed functional