1 files changed, 111 insertions, 0 deletions
diff --git a/notes.txt b/notes.txt
new file mode 100644
index 0000000..8bab649
--- /dev/null
+++ b/notes.txt
@@ -0,0 +1,111 @@
+# normal BLC
+
+- blc(\M)  = 00 blc(M)
+- blc(M N) = 01 blc(M) blc(N)
+- blc(i)   = 1^i 0
+
+e.g.
+- [[0]] = 00 00 10
+- [(0 0)] = 01 00 10 10
+
+# my BLC
+
+- blc(\M)       = 01 blc(M)
+- blc(M1 .. Mn) = 0^n 1 blc(M1) .. blc(Mn)
+- blc(i)        = 1^i 0
+
+e.g.
+- [[0]] = 01 01 10
+- [(0 0)] = 01 001 10 10
+
+# my BLC 2
+
+- blc(\.n.\M)   = 0^{n+1} 1 blc(M)
+- blc(M N)      = 01 blc(M) blc(N)
+- blc(i)        = 1^i 0
+
+e.g.
+- [[0]] = 0001 10
+- [(0 0)] = 001 01 10 10
+
+# my BLC 2.5 LEFT
+
+- blc(\M)       = 01 blc(M)
+- blc(M1 .. Mn) = 0^n 1 blc(M1) .. blc(Mn)
+- blc(i)        = 1^i 0
+
+e.g.
+- (M1 M2) = 001 M1 M2
+- (((M1 M2) M3) M4) = 0001 M1 M2 M3 M4
+- (0 0) = 0011010
+
+# my BLC 2.7 RIGHT
+
+- blc(\M)         = 01 blc(M)
+- blc(M1 (.. Mn)) = 0^n 1 blc(M1) .. blc(Mn)
+- blc(i)          = 1^i 0
+
+e.g.
+- (M1 M2) = 001 M1 M2
+- (M1 (M2 (M3 M4))) = 0001 M1 M2 M3 M4
+- (0 0) = 0011010
+
+# my BLC 2.9 BOTH?!
+
+- blc(\M)         = 01 blc(M)
+- blc(M1 .. Mn)   = 0^n 10 blc(M1) .. blc(Mn)
+- blc(M1 (.. Mn)) = 0^n 11 blc(M1) .. blc(Mn)
+- blc(i)          = 1^i 0
+
+e.g.
+- (M1 M2) = 001 M1 M2
+- (((M1 M2) M3) M4) = 00010 M1 M2 M3 M4
+- (M1 (M2 (M3 M4))) = 00011 M1 M2 M3 M4
+- (0 0) = 0011010
+
+# my BLC 3 ABSAPP MERGE
+
+- blc(\.n.\M)   = 0^n 10 blc(M)
+- blc(M1 .. Mn) = 0^{n-1} 11 blc(M1) .. blc(Mn)
+- blc(i)        = 1^i 0
+
+e.g.
+- [[0]] = 0010 10
+- [(0 0)] = 010 011 10 10
+
+# my BLC 4
+
+- blc(\.n.\(M1 .. Mm)) = 0^{n+1} 1 0^m 1 blc(M1) .. blc(Mn)
+- blc(i)               = 1^i 0
+
+e.g.
+- [[0]] = 000101 10
+- [(0 0)] = 001001 10 10
+- (0 0) = 011001 10 10
+
+# my BLC 5
+
+- blc(\.n.\(M1 .. Mm)) = 0^{n+1} 1^{m+1} 0 blc(M1) .. blc(Mn)
+- blc(i)               = 1^i 0
+
+e.g.
+- [[0]] = 00010 10
+- [(0 0)] = 00110 10 10
+- (0 0) = 001110 10 10
+
+# Mateusz
+
+- [0]     = 01
+- [[0]]   = 00010
+- [[1]]   = 00011
+- [[[0]]] = 0000010
+- [[[1]]] = 00000110
+- [[[2]]] = 00000111
+
+- [(0 0)]     = 00111
+- [[(0 1)]]   = 000011011
+- [[(1 0)]]   = 000011110
+
+- [[(1 1)]]     = 000011111
+- [[[(1 1)]]]   = 0000001110110
+- [[[[(1 1)]]]] = 000000001110110