Symbolmatch Playground
tutorial examples
- list of atoms
- nested list of atoms
- computing section
practical examples
- lambda calculus
- symbolmatch
- symbolverse
- symbolprose
rules:
(1, 1)
input:
(1, 1)
output:
match
read the specification
visit me on GitHub