3 ms·
Just added a compilation flag to completely disable variable implication, this removes the need to ever use the "known" keyword
by vrsperanza 8y ago
Just added a compilation flag to completely disable variable implication, this removes the need to ever use the "known" keyword