//  Copyright © 2015 Rob Rix. All rights reserved.

final class ChurchListTests: XCTestCase {}


import Manifold
import XCTest

//  Copyright © 2015 Rob Rix. All rights reserved.

final class ChurchListTests: XCTestCase {
	func testModuleTypechecks() {
		module.typecheck().forEach { XCTFail($0.description) }
	}
}

private let module = Module<Term>.churchList


import Manifold
import XCTest

Test that the module typechecks.
Test that the module typechecks.
