Dictionary

From RevaWiki

Jump to: navigation, search

Glossary entry


The "dictionary" is simply a place where Reva looks up the name of a word, and finds the "xt", or "execution token" of the word. The default Reva dictionary is a simple linked list, which is perhaps surprisingly, quite fast enough.
Personal tools