[Prev] [Up] [Next]


Notation

We write specific phrases of the object language Haskell in this font and use this font for metavariables ranging over arbitrary phrases of the object language. For instance, Haskell function ident applied to an arbitrary x equals x.


[Prev] [Up] [Next]


The Definition of Monadic I/O in Haskell 1.3
Haskell 1.3 Committee
haskell1.3@comp.vuw.ac.nz