require_relative 'testing.rb'
require_relative 'numbers.rb'
title "Assert/Refute (2)"
Assert[True]
Refute[False]

title "AssertEqual"

AssertNumbersEqual = AssertEqual[NumbersEqual]
AssertNumbersEqual[$one][$one]
AssertNumbersEqual[$two][$two]

require_relative 'testing.rb'
require_relative 'numbers.rb'
title "Assert/Refute (4)"
Assert[True]
begin
  Assert[False]
  Print["Asserting False failed"].(Noop)
rescue
  Print["T"].(Noop)
end

Refute[False]
begin
  Refute[True]
  Print["Refuting True failed"].(Noop)
rescue
  Print["T"].(Noop)
end


title "AssertEqual"

AssertNumbersEqual = AssertEqual[NumbersEqual]
AssertNumbersEqual[$one][$one]
AssertNumbersEqual[$two][$two]

Put some negative examples in for Assert/Refute
Put some negative examples in for Assert/Refute
