Semi-Thue Engine, written in C89
Go to file
Devine Lu Linvega 9f8d78c9ec Print result after the rewrite is entirely done 2024-05-21 21:29:41 -07:00
examples Launch repl on run 2024-05-21 20:35:49 -07:00
src Print result after the rewrite is entirely done 2024-05-21 21:29:41 -07:00
.clang-format Trying a c parser 2024-04-04 09:04:27 -07:00
.gitignore Trying a c parser 2024-04-04 09:04:27 -07:00
LICENSE Added LICENSE 2024-04-06 09:45:39 -07:00
README.md Added access flag in README 2024-05-10 16:26:40 -07:00
makefile Launch repl on run 2024-05-21 20:35:49 -07:00

README.md

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
	-a Allow files to be imported
	-n Infinite mode, no rewrites limit

Credits

Created by wryl, Paradigital.