On Wed, Apr 18, 2007 at 07:29:21PM +0200, Wolfgang Jeltsch wrote:
> Hello everybody,
>
> I urgently need Haddock support for type operators like in the following code
> snippet:
>
> infix 2 :::, :=
> infixl 9 :.:
>
> data name ::: value = name := value
> newtype Composition f g
Am Mittwoch, 18. April 2007 19:29 schrieb Wolfgang Jeltsch:
> Hello everybody,
>
> I urgently need Haddock support for type operators like in the following
> code snippet:
>
> infix 2 :::, :=
> infixl 9 :.:
>
> data name ::: value = name := value
> newtype Composition f g a = Compo
Hello everybody,
I urgently need Haddock support for type operators like in the following code
snippet:
infix 2 :::, :=
infixl 9 :.:
data name ::: value = name := value
newtype Composition f g a = Composition { runComposition :: f (g a) }
type (:.:) = Composition
Does anyb
Haskellians,
In the attached file i have implemented the bare bones core of the syntax --
pre structural equivalence -- of Milner's presentation of \pi via
abstractions and concretions. (There's a minor twist in that the notion of
location affords more structure than in Milner's original presenta
Hi all,
Credit Suisse has started using Haskell within GMAG, the group that
provides financial analytics for the bank. The main use of Haskell
is for a Domain Specific Embedded Language that is being used by the
people writing the financial analytics (these people typically have a
PhD in