On 25/05/2009, at 12:58 PM, john skaller wrote:
>
> On 21/05/2009, at 12:26 AM, john skaller wrote:
>
>> There is a problem in Felix with constraint propagation .. well the
>> problem is that constraints are NOT propagated.
>
> I have no implemented some basic constraint propagation.
>
> The rout
On 21/05/2009, at 12:26 AM, john skaller wrote:
> There is a problem in Felix with constraint propagation .. well the
> problem is that constraints are NOT propagated.
I have no implemented some basic constraint propagation.
It is intended to be enough to handle typesets of primitive
types, that
