Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- (type-case ISE-Value (vals-val result)
- [numV (n) (not (= 0 n))]
- [else #t])))
- ;not (= 0 (numV-n (vals-val (interp-helper body (anEnv param num cEnv) evaled-dist-state))))))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement