diff options
Diffstat (limited to 'src/thue/thue.cr')
| -rw-r--r-- | src/thue/thue.cr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/thue/thue.cr b/src/thue/thue.cr new file mode 100644 index 0000000..9c22b96 --- /dev/null +++ b/src/thue/thue.cr @@ -0,0 +1,7 @@ +module Thue + # Allow matching empty patterns, handle during parsing + R_NORMAL_RULE = /^(.*)::=(.*)$/ + R_INPUT_RULE = /^(.*)::=:::$/ + R_OUTPUT_RULE = /^(.*)::=~(.*)$/ +end + |