gt; >> equivalent way to define the automaton arrow:
> >>
> >>data Auto a b = forall s. Auto ((a, s) -> (b, s))
> >>
> >> You can see how this looks a lot like state monads, but the state is
> >> local to the particular automaton. You can th
-
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20120531/709e5178/attachment-0001.pgp>
--
Message: 3
Date: Thu, 31 May 20