Utils #
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- val.intAsString = (↑val.val).intAsString
Instances For
Equations
- String.instCoeSubstring_regex = { coe := fun (s : String) => s.toSubstring }
compute the byte position of the codepoint position p
in s
Instances For
Equations
- s.decodeHex = let s := if s.startsWith "0x" = true then s.replace "0x" "" else s; Char.decodeHexDigits s.data
Instances For
Equations
- One or more equations did not get rendered due to their size.