├── LICENSE ├── README.md ├── TODO ├── tree-automata ├── main.rkt └── tests.rkt └── tree-syntax.scm /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/tree-automata/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/tree-automata/HEAD/README.md -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/tree-automata/HEAD/TODO -------------------------------------------------------------------------------- /tree-automata/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/tree-automata/HEAD/tree-automata/main.rkt -------------------------------------------------------------------------------- /tree-automata/tests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/tree-automata/HEAD/tree-automata/tests.rkt -------------------------------------------------------------------------------- /tree-syntax.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/webyrd/tree-automata/HEAD/tree-syntax.scm --------------------------------------------------------------------------------