Relision

records - Added grammar for simple rules and binds.

sprowell (sprowell@undisclosed.example.com) — 2021-10-28T22:27:37+00:00

Records, binds, and the like Records A record is an unordered collection of terms, where each term has an associated unique name given by an untyped symbol. The following is an example. { name => "Fred", height => %(5,10), birthday => { year => 1996, month => 3, day => 21 } }

start - [Relision]

sprowell (sprowell@undisclosed.example.com) — 2020-12-17T14:28:08+00:00

Navigation Rust Library * Using the REPL * Reading by Character * Building Parsers * Logging Relision Language (RL) Unavailable Relision Relision is a term rewriting library written in 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.

primitives - [Boolean Literals]

sprowell (sprowell@undisclosed.example.com) — 2020-11-22T04:04:47+00:00

Primitives RL admits some terms that receive special treatment. The Root of the Type System Every term has an associated type. This potentially infinite regress is broken by the special term ^ROOT, which is the root of the type system and is its own type. Any term whose type is

literals

sprowell (sprowell@undisclosed.example.com) — 2020-11-22T03:28:43+00:00

Literals RL provides the following literals. * Symbols * Strings * Numbers * Bit Strings Note that term literals are described elsewhere. An odd property of the literals is that, while each has a default type, you can override the type if you wish. Symbols

metaterms - created

sprowell (sprowell@undisclosed.example.com) — 2020-11-21T23:26:53+00:00

Metaterms A *metaterm* is a literal that represents a term. You can think of it as a fancy sort of string. Metaterms are created with the at symbol (@, U+0040). Consider a case where we need to know if a term is a variable. We might have an operator like

playground - created

reladm (reladm@undisclosed.example.com) — 2020-11-21T21:04:25+00:00

Playground? Finding the place where things can be said.

bindings

sprowell (sprowell@undisclosed.example.com) — 2020-11-21T18:03:59+00:00

Bindings A *binding* is a special term that associates a variable name with another term. A binding has the following form. { bind $x -> 7, $y -> 21 } This represents binding the variable \$ to the value 7, and the variable \$y to the value 21

logo.png

reladm (reladm@undisclosed.example.com) — 2020-06-10T06:06:35+00:00

favicon.ico

reladm (reladm@undisclosed.example.com) — 2019-03-05T16:51:43+00:00

icon.png - created

reladm (reladm@undisclosed.example.com) — 2018-12-31T20:13:05+00:00