Replace syntax

CHANGELOG.md

@@ -1,3 +1,13 @@
+## Kind 1.0.112
+
+- Replace syntax is like rewrite, but equality is reversed
+
+    replace x with e in goal
+
+    This replaces the right side of the equality by the left side in the goal
+    This should be more robust since it doesn't need to use mirror and, thus,
+    avoids some holes
+
 ## Kind 1.0.108
 
 - Allow "for" to be on the left side of a list comprehension

base/Kind/Parser/term.kind

@@ -33,6 +33,7 @@ Kind.Parser.term: Parser(Kind.Term)
       Kind.Parser.use((x) Kind.Parser.term)
       Kind.Parser.implicit
       Kind.Parser.goal_rewrite
+      Kind.Parser.goal_replace
       Kind.Parser.if
       Kind.Parser.char
       Kind.Parser.string('"')

bin/js/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kind-lang",
-  "version": "1.0.111",
+  "version": "1.0.112",
   "description": "Kind-Lang in JavaScript",
   "main": "src/kind.js",
   "scripts": {