(Kor) Add api + languages.csv + minor fixes

2026-06-25 11:06:28 -06:00 · 2020-03-27 14:18:03 +01:00
parent 8a151c684a
commit be10915fcb
9 changed files with 619 additions and 5 deletions
@@ -0,0 +1,5 @@
+--# -path=.:../korean:../common:../abstract:../prelude
+
+resource SymbolicKor = Symbolic with
+  (Symbol = SymbolKor),
+  (Grammar = GrammarKor) ** open MissingKor in {} ;