[GHC] #13038: implementation of Modus ponens and Modus tollens

[GHC]

#13038: implementation of Modus ponens and Modus tollens
-------------------------------------+-------------------------------------
        Reporter:  vanto             |                Owner:
            Type:  feature request   |               Status:  infoneeded
        Priority:  normal            |            Milestone:
       Component:  libraries/base    |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):

 * status:  new => infoneeded


Comment:

 I have no idea what you are proposing in terms of Haskell code. What are
 the functions' names, type signatures, and implementations?

 Moreover, Trac is not the place to be making proposals for API additions
 in core libraries like `base`. Please propose these functions at the
 [https://mail.haskell.org/mailman/listinfo/libraries Haskell libraries
 mailing list] first to see if there is a consensus that these functions
 really should be added in the first place. If there is community support,
 we can revisit this idea.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13038#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler