Differences

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

--- start [2019/01/06 22:40] – reladm
+++ start [2020/12/17 09:28] (current) – [Relision] sprowell
@@ Line 1: / Line 1: @@
+~~NOTOC~~
 <box right blue|Navigation>
-  * Library
+<columns>
-    * [[lib:repl|Using the REPL]]
+__**Rust Library**__
-    * [[lib:decoder|Reading by Character]]
+  * [[lib:repl|Using the REPL]]
-    * [[lib:parser|Building Parsers]]
+  * [[lib:decoder|Reading by Character]]
-  * Language
+  * [[lib:parser|Building Parsers]]
-    * [[eli:ebnf|EBNF]]
+  * [[lib:logging|Logging]]
+<newcolumn>
+__**Relision Language (RL)**__
+  Unavailable
+</columns>
 </box>
 {{:wiki:logo.png}}
 ====== 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%>