Skip to content
  • Richard Eisenberg's avatar
    Add new module Data.Type.Bool, defining &&, || and Not. · 9265c889
    Richard Eisenberg authored
    This change was necessary given the instances for (==) in
    Data.Type.Equality. These need conjunction, and a local
    definition of conjunction doesn't work if a client is reasoning
    about equality. Both the client and the library need the
    same conjunction, so that is what Data.Type.Bool provides.
    9265c889