A cunning interpreter for the pure untyped λ-calculus.
severen.dev
1-- SPDX-FileCopyrightText: 2022 Severen Redwood <sev@severen.dev>
2-- SPDX-License-Identifier: CC0-1.0
3
4module Main where
5
6import PropertyTests
7import Test.Tasty
8import UnitTests
9
10main :: IO ()
11main = do
12 tree <- tests
13 defaultMain tree
14
15tests :: IO TestTree
16tests = do
17 unitTests' <- unitTests
18 return $ testGroup "Tests" [unitTests', propertyTests]