Goal.Geometry.Set

Sets

class Set s

class Discrete s

Instances

Discrete

data Boolean

data NaturalNumbers

data Integers

Continuous

type Coordinates

data Euclidean

data Continuum

Combinators

Replicated

data Replicated m