From 79c4b11b7770a1412013904063f36f8b39deaece Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Wed, 29 Jan 2014 02:12:01 +0100
Subject: [PATCH] Add cool2tatl.sh utility script
---
cool2tatl/cool2tatl.sh | 26 ++++++++++++++++++++++++++
1 file changed, 26 insertions(+)
create mode 100755 cool2tatl/cool2tatl.sh
diff --git a/cool2tatl/cool2tatl.sh b/cool2tatl/cool2tatl.sh
new file mode 100755
index 0000000..0c1ec62
--- /dev/null
+++ b/cool2tatl/cool2tatl.sh
@@ -0,0 +1,26 @@
+#!/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)
+
--
GitLab