Bug8.hs « examples - haddock.git - Haddock with an org backend (haddorg).

about summary refs log tree commit diff

path: root/examples/Bug8.hs

blob: 6481ca3f3f0d648f1a54cd5972091d0957c21bec (plain) (blame)

infix -->
infix --->

data Typ = Type (String,[Typ])
         | TFree (String, [String])

x --> y = Type("fun",[s,t])
(--->) = flip $ foldr (-->)