Modal is a string rewriting language that can be used to program computers. Modal programs are represented as a tree of tokens. A Modal interpreter will step through the tree, scanning for rewrite rule definitions, rewrite rule deletions, lambdas, and tokens. Tokens that match a rule will be replaced with the result of that rule. See the tutorial for more details, or check out the examples below!
This is obviously a work in progress. Follow the project here. Below is a rough sketch of what I plan this website to look like:
