Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

mode name
drwxr-xr-x lib/
drwxr-xr-x test/
-rw-r--r-- README.md
-rw-r--r-- assignment
-rw-r--r-- example
-rw-r--r-- input
-rw-r--r-- mix.exs
-rw-r--r-- mix.lock
README

HandheldHalting

Decorruption

First step

left = []

right = [n0, a1, j4, a3, j-3, a-99, a1, j-4, a6]

out = []

left = [n0]

right = [a1 j4, a3, j-3, a-99, a1, j-4, a6]

out = [[n0, a1, j4, a3, j-3, a-99, a1, j-4, a6],

​ [j0, a1, j4, a3, j-3, a-99, a1, j-4, a6]]