so long no see....
Ooops...looks like this is VERY out of date
i blame it on the current political climate.
or maybe on me being lazy and not doing work over the holidays on thesis due to my wonderful overseas travel. (jealous ;))
SO, as im taking RSD with my supervisor AND examiner (thanks to the 2 ppl who join me in my 6 person class) i decided it might be a good idea to get cracking.
So far I have proved specifications for simpleSet, library and club. Not alot i grant you, but when you spend a week trying to find a rule to solve something, that you end up deciding does not yet exist and then spending 1/2 hr adding it, time does go by very quickly.
I have added 4 rules thus far :
rule: bsingle_binter_eq_empty ===
A /:: B
-------
bsingle(A) /\ B = empty
rule: bsingle_bsubs_trans ===
A :: X, X A /\ B = empty
rule: bdiff_bunion_ binter_eq_bunion ===
A
i blame it on the current political climate.
or maybe on me being lazy and not doing work over the holidays on thesis due to my wonderful overseas travel. (jealous ;))
SO, as im taking RSD with my supervisor AND examiner (thanks to the 2 ppl who join me in my 6 person class) i decided it might be a good idea to get cracking.
So far I have proved specifications for simpleSet, library and club. Not alot i grant you, but when you spend a week trying to find a rule to solve something, that you end up deciding does not yet exist and then spending 1/2 hr adding it, time does go by very quickly.
I have added 4 rules thus far :
rule: bsingle_binter_eq_empty ===
A /:: B
-------
bsingle(A) /\ B = empty
rule: bsingle_bsubs_trans ===
A :: X, X A /\ B = empty
rule: bdiff_bunion_ binter_eq_bunion ===
A