Modal

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.

Build

cc src/modal.c -o bin/modal

Run

bin/modal examples/hello.modal
	-v Print version
	-q Quiet mode, no step printing
	-p Print summary with refs count
	-n Infinite mode, no rewrites limit

Credits

Created by wryl, Paradigital.