Differences

This shows you the differences between two versions of the page.

--- start [2019/01/09 15:02] – sprowell
+++ start [2020/12/17 09:28] (current) – [Relision] sprowell
@@ Line 2: / Line 2: @@
 <box right blue|Navigation>
 <columns>
-  * Guide
+__**Rust Library**__
-    * someday...
+  * [[lib:repl|Using the REPL]]
+  * [[lib:decoder|Reading by Character]]
+  * [[lib:parser|Building Parsers]]
+  * [[lib:logging|Logging]]
 <newcolumn>
-  * Library
+__**Relision Language (RL)**__
-    * [[lib:repl|Using the REPL]]
+  Unavailable
-    * [[lib:decoder|Reading by Character]]
-    * [[lib:parser|Building Parsers]]
-<newcolumn>
-  * Language
-    * [[eli:ebnf|EBNF]]
-    * [[rl:primitives|Primitives]]
-    * [[rl:literals|Literals]]
 </columns>
 </box>
@@ Line 19: / Line 15: @@
 ====== Relision ======
-**Relision** will be a [[https://en.wikipedia.org/wiki/Rewriting|term rewriting]] library written in [[https://rust-lang.org|Rust]].
+**Relision** is a [[https://en.wikipedia.org/wiki/Rewriting|term rewriting]] library written in [[https://rust-lang.org|Rust]].  Right now it is pre-1.0.0, so development is still **closed**.  If you are interested in participating, let the maintainers know and we can add you to the repository on Gitlab.
+The focus of development right now is on the matching system.  The system can read and process terms, but is not quite Turing complete just yet (it needs to be able to match and rewrite the lambda expressions).
 <columns 100% 33% 33% 33%>