Re: Bug#522914: ITP: agda -- a dependently typed functional programming language and proof assistant
- To: debian-devel@lists.debian.org
- Subject: Re: Bug#522914: ITP: agda -- a dependently typed functional programming language and proof assistant
- From: Marcus Better <marcus@better.se>
- Date: Fri, 17 Apr 2009 15:54:52 +0200
- Message-id: <[🔎] gsa1ni$g1p$1@ger.gmane.org>
- References: <20090407110649.17077.66734.reportbug__4843.26216760582$1239104278$gmane$org@localhost.localdomain>
-----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
/zUAnR1n3HM8abbxGXEJHShGf1LUhq4I
=ByEd
-----END PGP SIGNATURE-----
Reply to: