finished(?) the abstract delta function, now on to the abstract evaluator
finished(?) the abstract delta function, now on to the abstract evaluator

logchi/LambdaS5,lijunsong/LambdaS5,lijunsong/LambdaS5,brownplt/LambdaS5,brownplt/LambdaS5,lijunsong/LambdaS5,logchi/LambdaS5,logchi/LambdaS5,brownplt/LambdaS5