-
Dan Frumin authored
Now with one rule primitive we can prove several instances that allows us to eliminate - Fancy updates - Basic updates - Laters
ce009e58
Now with one rule primitive we can prove several instances that allows us to eliminate - Fancy updates - Basic updates - Laters