Add cool2tatl.sh utility script

cool2tatl/cool2tatl.sh

+#!/bin/bash
+
+cat \
+	| sed 's:True:(p \\/ ~p):g' \
+	| sed 's:False:(p /\\ ~p):g' \
+	| sed 's:\&:/\\:g' \
+	| sed 's:=>:->:g' \
+	| sed 's:|:\\/:g' \
+	| sed 's:<{[ ]*:<<:g' \
+	| sed 's:[ ]*}>:>>:g' \
+	| sed 's:\[{[ ]*:~<<:g' \
+	| sed 's:[ ]*}\]:>>~:g' \
+	| sed -e :a -e 's:<<\([^ >]*\) [ ]*:<<\1,:g;ta' \
+	| cat
+
+
+#     Top     -> tatlFm $ Dis p (Neg p)
+#     Bot     -> tatlFm $ Con p (Neg p)
+#     Pro q   -> BS.lazyByteString q
+#     Neg a   -> c '~' <> tatlFm a
+#     Con a b -> mconcat [c '(', tatlFm a, s " /\\ ", tatlFm b, c ')']
+#     Dis a b -> mconcat [c '(', tatlFm a, s " \\/ ", tatlFm b, c ')']
+#     Imp a b -> mconcat [c '(', tatlFm a, s " -> ",  tatlFm b, c ')']
+#     Dia g a -> s "<<" <> (mconcat $ intersperse (c ',') $ map i g) <> s ">>X" <> tatlFm a
+#     Box g a -> tatlFm (Neg $ Dia g $ Neg a)
+