Diff interface for Phrasebook

2026-06-28 04:16:28 -06:00 · 2010-03-21 03:37:02 +00:00
parent 99b5300795
commit 5c9062f5ea
7 changed files with 41 additions and 2 deletions
@@ -0,0 +1,8 @@
+interface DiffPhrasebook = open Syntax in {
+
+oper
+  want_V2 : V2 ;
+  like_V2 : V2 ;
+
+
+}