Differences

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

--- start [2020/11/25 23:55] – Added a note pointing to online Relision docs. sprowell
+++ start [2020/12/17 09:28] (current) – [Relision] sprowell
@@ Line 9: / Line 9: @@
 <newcolumn>
 __**Relision Language (RL)**__
-  * [[rl:ebnf|EBNF]]
+  Unavailable
-  * [[rl:primitives|Primitives]]
-  * [[rl:literals|Literals]]
-  * [[rl:variables|Variables]]
-  * [[rl:bindings|Bindings]]
-  * [[rl:metaterms|Metaterms]]
 </columns>
 </box>
@@ Line 20: / 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.
-Right now it is evolving quickly, and this documentation cannot keep up!  See the Relision Guide in the ''docs'' folder of the [[https://gitlab.com/sprowell/relision|Relision source code]].
+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%>