GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 18:58:56 -06:00
Code Issues Packages Projects Releases Wiki Activity

update doc

Browse Source
This commit is contained in:
aarne
2004-11-08 09:27:30 +00:00
parent c27827a1da
commit 6e92668cb7
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
examples/gfcc/complin.tex
View File

@@ -1151,8 +1151,8 @@ abstract Imper = PredefAbs ** {
Decl : (A : Typ) -> (Var A -> Stm) -> Stm ; Decl : (A : Typ) -> (Var A -> Stm) -> Stm ;
Assign : (A : Typ) -> Var A -> Exp A -> Stm -> Stm ; Assign : (A : Typ) -> Var A -> Exp A -> Stm -> Stm ;
While : Exp TInt -> Stm -> Stm -> Stm ; While : Exp (TNum TInt) -> Stm -> Stm -> Stm ;
IfElse : Exp TInt -> Stm -> Stm -> Stm -> Stm ; IfElse : Exp (TNum TInt) -> Stm -> Stm -> Stm -> Stm ;
Block : Stm -> Stm -> Stm ; Block : Stm -> Stm -> Stm ;
Printf : (A : Typ) -> Exp A -> Stm -> Stm ; Printf : (A : Typ) -> Exp A -> Stm -> Stm ;
Return : (A : Typ) -> Exp A -> Stm ; Return : (A : Typ) -> Exp A -> Stm ;