Daniel Austin fluffynukeit

## Kohlenbach_Ch4_Exploration_1.hs

import Data.Searchable
import Control.Applicative
import Data.Ratio

data Nat = Z | S Nat
    deriving (Ord, Show, Eq)

instance Num Nat where
    -- Functions defined in Kohlenbach p 45.  These aren't the exact Kohlenbach definitions

	import Data.Searchable
	import Control.Applicative
	import Data.Ratio

	data Nat = Z \| S Nat
	deriving (Ord, Show, Eq)

	instance Num Nat where
	-- Functions defined in Kohlenbach p 45. These aren't the exact Kohlenbach definitions