[Haskell-cafe] Re: Monads aren't evil

Martijn van Steenbergen martijn at van.steenbergen.nl
Sun Jan 11 13:04:02 EST 2009


Lennart Augustsson wrote:
> Agda has made the choice that you can have (almost) any sequence of
> characters in identifiers.  It works fine, but forces you to use white
> space (which I do anyway).

No _'s though, which is exactly what Jason was after. :-)

Still, Agda rocks.

Martijn.


More information about the Haskell-Cafe mailing list