]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 2147 | alphabet.ma | blob | history | raw |
-rw-r--r-- | 16542 | compare.ma | blob | history | raw |
-rw-r--r-- | 26048 | copy.ma | blob | history | raw |
-rw-r--r-- | 31783 | marks.ma | blob | history | raw |
-rw-r--r-- | 5303 | move_char_c.ma | blob | history | raw |
-rw-r--r-- | 5520 | move_char_l.ma | blob | history | raw |
-rw-r--r-- | 31920 | move_tape.ma | blob | history | raw |
-rw-r--r-- | 2284 | trans_step.ma | blob | history | raw |
-rw-r--r-- | 12898 | trans_to_tuples.ma | blob | history | raw |
-rw-r--r-- | 44874 | tuples.ma | blob | history | raw |
-rw-r--r-- | 22478 | uni_step.ma | blob | history | raw |
-rw-r--r-- | 15973 | universal.ma | blob | history | raw |