diff --git a/README b/README index cdd4c04..569da3c 100755 --- a/README +++ b/README @@ -1,5 +1,5 @@ -*- mode: text; mode: auto-fill; fill-column: 78 -*- - +# ankit nagdiya Screamer is an extension of Common Lisp that adds support for nondeterministic programming. Screamer consists of two levels. The basic nondeterministic level adds support for backtracking and undoable side effects. On top of this