Updated README
This commit is contained in:
parent
a0e795557f
commit
9b2f60e460
|
@ -1,15 +1,9 @@
|
|||
# Modal
|
||||
|
||||
Modal is a language based a model of computation that uses pattern matching and replacement to rewrite trees.
|
||||
[Modal](https://wiki.xxiivv.com/site/modal) is a language based a model of computation that uses pattern matching and replacement to rewrite trees.
|
||||
|
||||
All Modal code is represented as a series of rules applied to a given tree, formatted textually as tokens delimited with parenthesis, which gets continually modified until no rules match any given part of the tree.
|
||||
|
||||
A pattern/replacement can be:
|
||||
|
||||
A token: foo, bar, baz
|
||||
A variable: ?foo, ?bar, ?baz
|
||||
A sequence of the above: (foo bar baz), (foo ?bar baz), foo (bar (baz))
|
||||
|
||||
## Build
|
||||
|
||||
```
|
||||
|
|
Loading…
Reference in New Issue