2.5.2 "(pBinOp op e1 e2) i := (bin_op_sem op) (pEval e1 i) (pEval e2 i) -- BUG FIXED :-)! " What do the several parentheses mean? I'm trying to follow along in Haskell for the syntax but I'm not sure what multiple parentheses mean. Is this the composition of functions? Perhaps making this clearer will be better. - Githubissues

kevinsullivan / cs6501s23

Formal Mathematics for Software Design

6 stars 6 forks source link

2.5.2 "(pBinOp op e1 e2) i := (bin_op_sem op) (pEval e1 i) (pEval e2 i) -- BUG FIXED :-)! " What do the several parentheses mean? I'm trying to follow along in Haskell for the syntax but I'm not sure what multiple parentheses mean. Is this the composition of functions? Perhaps making this clearer will be better. #21

Open nehakrishnakumar opened 1 year ago

nehakrishnakumar commented 1 year ago

Additionally, how would you test the fixing of the bug?