SHOW:
|
|
- or go back to the newest paste.
1 | - | (type-case ISE-Value (vals-val result) |
1 | + | (type-case ISE-Value (vals-val result) [numV (n) (not (= 0 n))] |
2 | - | [numV (n) (not (= 0 n))] |
2 | + | [else #t]))) |
3 | - | [else #t])) |
3 | + | ;not (= 0 (numV-n (vals-val (interp-helper body (anEnv param num cEnv) evaled-dist-state)))))) |