CS-581/Homework
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Make the example more compelling

Browse Source
This commit is contained in:
Danila Fedorin 2020-10-29 23:04:59 -07:00
parent f7505f573a
commit 148784ef4c
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
HW4.idr
View File

@ -38,7 +38,9 @@ initialState = (IntTy, IntTy, IntTy)
testProg : Prog Main.initialState Main.initialState testProg : Prog Main.initialState Main.initialState
testProg = testProg =
[ Store A (Lit 1 `Leq` Lit 2) [ Store A (Lit 1 `Leq` Lit 2)
, Store A (Lit 1) , If (Load A)
[ Store A (Lit 1) ]
[ Store A (Lit 2) ]
, Store B (Lit 2) , Store B (Lit 2)
, Store R (Add (Load A) (Load B)) , Store R (Add (Load A) (Load B))
] ]