search

hwayne / learntla-v2

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

Reduce memory allocation Windows issue #72

Open lemmy opened 11 months ago

lemmy commented 11 months ago

Linux and macOS allocate memory lazily while Windows allocates memory eagerly: https://learntla.com/topics/optimization.html#use-refactor-properties