Re: Bug#522914: ITP: agda -- a dependently typed functional programming language and proof assistant

2009-04-17 Thread Marcus Better
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Iain Lane wrote: Swedish logician Per Martin-Lf. That's Per Martin-Löf. Cheers, Marcus -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAknoiiwACgkQXjXn6TzcAQkTtwCaAl4DbHwHVUHwqcXC9pFf1YWW

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 la...@ubuntu.com * Package name: agda Version : 2.2.0 Upstream Author : Ulf Norell u...@chalmers.se * URL : http://wiki.portal.chalmers.se/agda/ * License : MIT/X11 Programming Lang: Haskell Description