hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
183 stars 39 forks source link

Java module overrides are hard #73

Open lemmy opened 11 months ago

lemmy commented 11 months ago

https://learntla.com/topics/optimization.html#use-overrides suggests creating Java module overrides. Due to the fact that TLC's value classes are largely undocumented and have subtle behavior, writing module overrides is not easy. A slightly more accessible approach is perhaps to guide users towards depending on the CommunityModules, which already provide several module overrides for costly operators.