The Theory gst-lists
Parents

gst-fun
Children

gst
Constants
nil
'a GS
cons
'a GS 'a GS 'a GS
list
'a GS LIST 'a GS
tail
'a GS 'a GS
head
'a GS 'a GS
nth
'a GS 'a GS
Definitions
nil
nil =
cons
h t cons h t = h t
list
h t
list [] = nil list (Cons h t) = cons h (list t)
head
tail
head = fst tail = snd
nth
n l
nth 0 l = head l nth (n + 1) l = nth n (tail l)

up quick index © RBJ