Added binary numeral grammars.

2026-07-05 05:12:45 -06:00 · 2005-12-01 13:11:01 +00:00
parent 64166927a3
commit 526cace07a
2 changed files with 21 additions and 0 deletions
@@ -0,0 +1,11 @@
+concrete BinaryDigits of Binary = {
+
+flags startcat=Bin ;
+
+lincat Bin = { s : Str } ;
+
+lin End = { s = "" } ;
+lin Zero b = { s = "0" ++ b.s } ;
+lin One b = { s = "1" ++ b.s } ;
+
+}