Skip to content
Snippets Groups Projects
Commit de8b1242 authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Evaluator improvements 

NDEvaluator now a trait
(Previous) NDEvaluator -> StreamEvaluator
AngelicEvaluator is parametrized to the underlying evaluator
Fix Choose and Minus in StreamEvaluator
parent 27d034eb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 57 additions and 44 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment