Jan Brosius wrote: > > "x" in the domain of your model, and that that element, at least, > satisfies > > x is a variable ; no domain ; no model You must have some assumed convention that makes x a variable. For the rest of us it might as well be a constant, because there is no way to tell if it is a variable or not. -- -- Lennart
- Fw: more detailed explanation about forall in Haskell Frank Atanassow
- Fw: more detailed explanation about forall in Haskell Frank Atanassow
- Re: more detailed explanation about forall in Haskell Jan Brosius
- Fw: Fw: more detailed explanation about forall in Haske... Jan Brosius
- Re: more detailed explanation about forall in Haskell Frank Atanassow
- Re: more detailed explanation about forall in Haskell Jan Brosius
- RE: more detailed explanation about forall in Haskell Mark P Jones
- Re: more detailed explanation about forall in Haskell Lennart Augustsson
- Re: more detailed explanation about forall in Haskell Frank Atanassow
- RE: more detailed explanation about forall in Haskell Frank Atanassow
- Re: more detailed explanation about forall in Haskell Ketil Malde
- Re: more detailed explanation about forall in Hask... Frank Atanassow
- Re: more detailed explanation about forall in Hask... Lars Lundgren
- RE: more detailed explanation about forall in Haskell Peter Douglass
- Re: more detailed explanation about forall in Haskell Jan Brosius
- Re: more detailed explanation about forall in Haskell Lennart Augustsson
- Re: more detailed explanation about forall in Hask... Iavor Diatchki