modal/README.md

27 lines
686 B
Markdown
Raw Permalink Normal View History

2024-03-31 20:18:37 +01:00
# Modal
2024-04-08 18:51:48 +01:00
[Modal](https://wiki.xxiivv.com/site/modal) is a language based a model of computation that uses pattern matching and replacement to rewrite trees.
2024-03-31 20:18:37 +01:00
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.
2024-04-04 23:33:22 +01:00
## Build
```
cc src/modal.c -o bin/modal
```
2024-03-31 20:18:37 +01:00
## Run
```
2024-04-04 23:33:22 +01:00
bin/modal examples/hello.modal
2024-04-18 19:45:32 +01:00
-v Print version
-q Quiet mode, no step printing
2024-04-29 01:27:38 +01:00
-p Print summary with refs count
2024-05-11 00:26:40 +01:00
-a Allow files to be imported
2024-04-18 19:45:32 +01:00
-n Infinite mode, no rewrites limit
2024-03-31 20:18:37 +01:00
```
## Credits
Created by [wryl](https://wryl.tech/), Paradigital.