#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