From 8535e5019d7659b4b9e0f6a0386a66d73283f68f Mon Sep 17 00:00:00 2001 From: Brend Wanders Date: Wed, 4 Jan 2017 15:21:51 +0100 Subject: [PATCH] Update readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 8cd2780..6ad0ba3 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ Quick Start 1. Clone this repository 2. Have a look at the examples in `examples/`, or play with the interactive - interpreter: `./datalog.py` + interpreter: `./judged.py` Variants