Something went wrong. Try again.
A cunning interpreter for the pure untyped λ-calculus.
Something went wrong. Try again.
12345678910111213141516171819-- SPDX-FileCopyrightText: 2022 Severen Redwood <sev@severen.dev>-- SPDX-License-Identifier: CC0-1.0
module Main where
import PropertyTestsimport Test.Tastyimport UnitTests
main :: IO ()main = do tree <- tests defaultMain tree
tests :: IO TestTreetests = do unitTests' <- unitTests return $ testGroup "Tests" [unitTests', propertyTests]