search

shaobo-he / sls

OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)
Other
2 stars 0 forks source link

let-bindings should not be desugared #1

Open shaobo-he opened 5 years ago

shaobo-he commented 5 years ago

This is to avoid computing a value of an expression multiple times. Instead, use an evn in the evaluator.

shaobo-he commented 5 years ago

At least let-bindings of non-logical expressions.