Skip to content

Instantly share code, notes, and snippets.

Avatar

Daniel Austin fluffynukeit

View GitHub Profile
@fluffynukeit
fluffynukeit / Kohlenbach_Ch4_Exploration_1.hs
Created Jun 13, 2012
Testing Equivalence of Rationals Using Natural Encodings
View 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