Update readme with extension notes

utdb · Feb 24, 2017 · e024fe0 · e024fe0
1 parent eba94df
commit e024fe0
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -127,3 +127,11 @@ For ease of use, some useful combinations are given here.
 Furthermore, in interactive mode the interpreter offers several introspective
 commands. More information on these can be obtained through type `.help` in the
 interpreter.
+
+
+Extensions
+----------
+
+It is possible to write extensions to JudgeD in python. This is demonstrated in
+`examples/exthello.dl` and `examples/exthello.py`. To run the example, use
+`judged exact -e examples.exthello examples/exthello.dl`.