We check terms to see if they're in the wordlist, if they are we reuse the string from the wordlist instead of allocating a new one. (I've always wanted to use Gperf so I'm pretty stoked about this!) |
||
|---|---|---|
| .. | ||
| C | ||
| GNUProlog | ||
| Nim | ||
| Ocaml | ||
| Python | ||
| oldlog | ||
| bigints.joy | ||
| defs.txt | ||