The Coq mailing list

[Nils Anders Danielsson <nad AT Cs.Nott.AC.UK>]

On 2008-11-21 10:01, Nils Anders Danielsson wrote:
>   codata __ {A : Set} : (t t : Tree A) -> Set where
>     leaf : leaf  leaf
>     node : forall {l l x x r r}
>            (l : l  l) (x : x  x) (r : r  r) ->
>            node l x r  node l x r

The text above does not quite match what I wrote. If the message
delivered to you also looked like gibberish then you can check out the
coq-club archives at

  http://pauillac.inria.fr/pipermail/coq-club/2008/004154.html

for a version where no characters have been stripped.

--
/NAD


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.