davidallsopp

/**
 * Examples of writing mixed unit/property-based (ScalaCheck) tests.
 *
 * Includes tables and generators as well as 'traditional' tests.
 *
 * @see http://www.scalatest.org/user_guide/selecting_a_style
 * @see http://www.scalatest.org/user_guide/property_based_testing
 */

import org.scalatest._

timyates

package test;

import java.math.BigInteger;
import java.util.function.Function;

public class YCombinatorFactorial<T> {
    private interface Improver<T> {
        Function<T,T> apply( Improver<T> f ) ;
    }

pchiusano

{-# Language ExistentialQuantification, GADTs #-}

module Control.Process where

import Data.Monoid
import Prelude hiding (zip, zipWith)
import Control.Applicative
import System.IO

data Process f a = Halt