search

soegaard / racket-cas

Simple computer algebra system
60 stars 10 forks source link

Conjoin predicates (for convention types). #18

Open BowenFu opened 4 years ago

BowenFu commented 4 years ago

This MR fixes +/-, but fails some bf tests, since r. would not match big float because big float does not match r (number?).