lazy-lambda-calculus: 14d5c25473904acf7d7b0949c88c2765b229d5cf

     1: module Main where
     2: 
     3: import Test.LazySmallCheck2012
     4: import Control.Applicative
     5: import Data.Language.LC.Test
     6: import Data.Language.LC.Self.Test
     7: 
     8: -- FIXME: Make this a test suite rather than an executable (e.g. using tasty)
     9: 
    10: --allTests = print <|> lcTests <|> selfTests
    11: 
    12: --main = sequence . map allTests $ [0..]
    13: main = depthCheck 6 decodeNat