ninetynine-1.3.0: Ninety-Nine Haskell Problems
CopyrightCopyright (C) 2023 Yoo Chung
LicenseGPL-3.0-or-later
Maintainerdev@chungyc.org
Safe HaskellSafe-Inferred
LanguageGHC2021

Solutions.P53

Description

Some solutions to Problems.P53 of Ninety-Nine Haskell Problems.

Synopsis

Documentation

isTheorem :: [Formula] -> Formula -> Bool Source #

Determines whether the formula is valid given the axioms.