started regulus grammar implementation

2026-07-07 06:02:45 -06:00 · 2007-06-10 19:55:45 +00:00
parent fb730a75b5
commit 0f3d06022e
8 changed files with 175 additions and 0 deletions
@@ -0,0 +1,5 @@
+--# -path=.:present:prelude
+
+concrete Toy0Fin of Toy0 = Toy0I with
+  (Syntax = SyntaxFin),
+  (Lexicon = LexiconFin) ;