a guest Oct 23rd, 2018 91 Never
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))))))
RAW Paste Data