projects / helm.git / tree
| -rw-r--r-- | 3514 | alphabet.ma | blob | raw |
| -rw-r--r-- | 38011 | copy.ma | blob | raw |
| -rw-r--r-- | 58715 | marks.ma | blob | raw |
| -rw-r--r-- | 41883 | match_machines.ma | blob | raw |
| -rw-r--r-- | 31139 | move_tape.ma | blob | raw |
| -rw-r--r-- | 11498 | normalTM.ma | blob | raw |
| -rw-r--r-- | 12249 | tuples.ma | blob | raw |
| -rw-r--r-- | 31125 | uni_step.ma | blob | raw |
| -rw-r--r-- | 15071 | universal.ma | blob | raw |