From 1f9b254737552af7fe876e29dc124e0b635a4965 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Fri, 7 Mar 2014 03:23:52 +0100 Subject: add readme MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- README | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 README diff --git a/README b/README new file mode 100644 index 0000000..6e1f19a --- /dev/null +++ b/README @@ -0,0 +1,4 @@ +Join-calculus for Python + +Status: experimenting + -- cgit v1.2.3-70-g09d2