Commit 71bae711 authored by Michael Hanus's avatar Michael Hanus
Browse files

currypp results updated

parent 5e157aae
Prelude> BreakWhere> [("3+4",""),("xs++ys =:= [1,2]"," where xs,ys free")]
BreakWhere> BreakWhere> BubbleSort> [1,2,3,4,5,6,7]
BubbleSort> BubbleSort> DutchFlag> [Red,Red,White,White,White,Blue,Blue]
BubbleSort> BubbleSort> ColorMap> [(WA,Green),(OR,Red),(ID,Blue),(BC,Red)]
[(WA,Blue),(OR,Red),(ID,Green),(BC,Red)]
[(WA,Red),(OR,Green),(ID,Blue),(BC,Green)]
[(WA,Red),(OR,Blue),(ID,Green),(BC,Blue)]
[(WA,Green),(OR,Blue),(ID,Red),(BC,Blue)]
[(WA,Blue),(OR,Green),(ID,Red),(BC,Green)]
ColorMap> ColorMap> DutchFlag> [Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
......@@ -26,13 +241,17 @@ BubbleSort> BubbleSort> DutchFlag> [Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
[Red,Red,White,White,White,Blue,Blue]
DutchFlag> [Red,Red,White,White,White,Blue,Blue]
DutchFlag> DutchFlag> FloatString> [True,False]
DutchFlag> DutchFlag> FixInt> ["1.3","1","42"]
FixInt> FixInt> FloatString> [True,False]
FloatString> FloatString> Guards> ["Not zero","Zero","Not zero"]
Guards> [1,1,1,1,2,2,2]
[1,1,2,1,2,2,2]
Guards> Guards> Lookup> Nothing
Lookup> (Just 14)
Lookup> (Just 14)
(Just 19)
Lookup> Lookup> Lookup> Rev2> [[],[1],[2,1],[1,2,3],[1,2,3,4]]
Lookup> Lookup> Lookup> ParOr> [True,True,True,False]
[True,True,True,False]
ParOr> ParOr> Rev2> [[],[1],[2,1],[1,2,3],[1,2,3,4]]
Rev2> Rev2> WorldCup> [("GER","USA",Nothing),("GER","USA",(Just (1,0)))]
WorldCup> WorldCup>
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment