Data update

This commit is contained in:
Ingy döt Net 2024-07-13 15:19:22 -07:00
parent 29a5eea0d4
commit 5c1bb7bfa9
2011 changed files with 35081 additions and 3229 deletions

View file

@ -1,11 +1,4 @@
T Element
Int weight
[(Char, String)] symbols
F (weight, symbols)
.weight = weight
.symbols = symbols
T Element((Int weight, [(Char, String)] symbols))
F <(other)
R (.weight, .symbols) < (other.weight, other.symbols)