[Haskell-cafe] In what language...?
thomas.dubuisson at gmail.com
Fri Oct 15 16:42:38 EDT 2010
I think you would enjoy reading (and working) through TAPL and/or
Software Foundations if this interests you.
On Fri, Oct 15, 2010 at 1:36 PM, Andrew Coppin
<andrewcoppin at btinternet.com> wrote:
> Yesterday I read a rather interesting paper:
> It's fascinating stuff, and I *think* I understand the gist of what it's
> saying. However, the paper is utterly festooned with formulas that look so
> absurdly over-the-top that they might almost be a spoof of a mathematical
> formula rather than the real thing. A tiny fraction of the notation is
> explained in the , but the rest is simply "taken to be obvious". The
> paper also uses several ordinary English words in a way that suggests that
> they are supposed to have a more specific technical meaning - but I have no
> idea what.
> Does anybody have any idea which particular dialect of pure math this paper
> is speaking? (And where I can go read about it...)
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe