adam/vim
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

runtime: Fix more typos (#13354)

Browse Source 
* Fix more typos

* Fix typos in ignored runtime/ directory

Signed-off-by: Christian Brabandt <cb@256bit.org>
This commit is contained in:
Viktor Szépe
2023-10-16 09:53:37 +02:00
committed by GitHub
parent f5a94d5165
commit dbf749bd5a
31 changed files with 42 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
runtime/macros/urm/README.txt
View File

@ -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.