Lambdabot.Plugin.Haskell.Eval.Trusted

Documentation

module Math.OEIS

module Test.QuickCheck.Safe

myquickcheck :: STestable prop => prop -> String

newtype Rec a

Constructors

InR

Fields

• outR :: Rec a -> a

newtype Mu f

Constructors

In

Fields

• out :: f (Mu f)

describeSequence :: SequenceData -> Maybe String