A “Demo”

prop_Insert :: Integer -> [Integer] -> Bool

prop_Insert x xs =

ordered (insert x xs)

ordered xs = and (zipWith (<=) xs (drop 1 xs))

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version