Hideyuki Kawabata comments

Repositories
Issues
Comments

Results 1 comments of


                                            Hideyuki Kawabata

Alias type for List and ADT types

I found a bug that may be related to the discussion here. ``` .type TPositive = number .decl N(a1:number) .decl Positive(x:TPositive) .decl Divisible(x:number, y:number) N(-2). N(i+1) :- N(i), i <...