This file implements pointed pairs in Javascript. In a Typescript-like manner :
type Pair<A,B> = { car: A, cdr: B } Copy
type Pair<A,B> = { car: A, cdr: B }
A pointed pair is traditionally made of a car and a cdr | cdr that represent both parts.
car
cdr
This file implements pointed pairs in Javascript. In a Typescript-like manner :
A pointed pair is traditionally made of a
car
and a cdr |cdr
that represent both parts.