The Theory gst-sumprod
Parents

gst-fun
Children

gst
Constants
'a GS 'a GS
'a GS 'a GS
Definitions
ConstSpec
( $"'"
f
fun f
( e
e $"'" f
( i v
e = i v
i dom f
v f g i))
$"'" f Galaxy f)
ConstSpec
( $"'"
f
fun f
( e
e $"'" f dom e = dom f e f)
$"'" f Galaxy f)

up quick index © RBJ