On Thu, Nov 12, 2009 at 04:40:48PM +0200, Yitzchak Gale wrote:
> Please add to the documentation for :set prompt:
>
> If you enclose \i{prompt} in quotes, you can use Haskell
> syntax for String literals.
>
> Actually, :set prompt is nearly useless without quotes, because
> GHCi strips off traili
The paper on System FC [1] has an operational semantics. Would that do?
Simon
[1] http://research.microsoft.com/~simonpj/papers/ext-f
| -Original Message-
| From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of Matthijs Kooi