-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
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
2 matches
Mail list logo