diff options
Diffstat (limited to 'runtime/macros/urm/README.txt')
-rw-r--r-- | runtime/macros/urm/README.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/macros/urm/README.txt b/runtime/macros/urm/README.txt index a1ecc658ca..3995813689 100644 --- a/runtime/macros/urm/README.txt +++ b/runtime/macros/urm/README.txt @@ -10,7 +10,7 @@ in vim: :so urm.vim<RETURN> in vim: * (to load the registers and boot the URM-machine :-) in vim: g (for 'go') and watch the fun. Per default, 3 and 4 are multiplied. Watch the Program counter, it is - visible as a komma moving around. + visible as a comma moving around. This is a "standard URM" (Universal register machine) interpreter. The URM concept is used in theoretical computer science to aid in theorem proving. |