Differences

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

--- start [2020/11/26 01:59] – sprowell
+++ start [2020/12/17 09:28] (current) – [Relision] sprowell
@@ Line 15: / 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!  Contact the maintainer if you are interested in the current status.
+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%>