mock up variables for js

2026-04-23 03:32:51 -06:00 · 2007-10-30 13:17:54 +00:00
parent 105efd51ef
commit 650b73e26b
3 changed files with 10 additions and 0 deletions
--- a/examples/math/Math.gf
+++ b/examples/math/Math.gf
@@ -21,6 +21,8 @@ fun
  LString : String -> Label ;
  VString : String -> Var ;

+  V_x, V_y, V_z : Var ; --- for js
+
  PLink : Proof ;

 -- lexicon