hwayne / learntla-v2

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

syntax highlighting bug in Structured Data part #62

Closed acud closed 11 months ago

acud commented 12 months ago

In the tip section within Function sets:

A function set of form [A -> B] will have 
 elements in it. If there were two tasks and three CPUs, that would be :math`(2^3)^2 = 64` possible functions.

Here, :math should be changed to whatever should yield the right result or simply be removed in favor of the usual syntax highlighting

hwayne commented 11 months ago

Should be :math:, not :math