lambda-calculator-3.0.0: test/Language/Lambda/SystemFSpec.hs
module Language.Lambda.SystemFSpec where import Test.Hspec import Language.Lambda.SystemF spec :: Spec spec = describe "evalString" $ return ()
module Language.Lambda.SystemFSpec where import Test.Hspec import Language.Lambda.SystemF spec :: Spec spec = describe "evalString" $ return ()