[Haskell-cafe] In what language...?
Brandon S Allbery KF8NH
allbery at ece.cmu.edu
Fri Oct 15 21:29:41 EDT 2010
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 10/15/10 16:36 , Andrew Coppin wrote:
> Does anybody have any idea which particular dialect of pure math this paper
> is speaking? (And where I can go read about it...)
Type theory. It makes my head spin, too, since essentially my only exposure
to it so far is Haskell itself.
- --
brandon s. allbery [linux,solaris,freebsd,perl] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAky5AAUACgkQIn7hlCsL25UxawCePztYYnJLXZS8Cx78H4IdNs4q
pG4AnjrRLBkL96gduOhN9AyBJPp+xKSv
=IcA6
-----END PGP SIGNATURE-----
More information about the Haskell-Cafe
mailing list