TrivialCompResult == <True, 
es.True, [], lg-nil()>
Definitions :
lambda: x.A[x],
true: True,
pair: <a, b>,
nil: [],
lg-nil: lg-nil()
FDL editor aliases :
trivial-comp-result
TrivialCompResult == <True, \mlambda{}es.True, [], lg-nil()>
Date html generated:
2010_08_27-PM-08_23_06
Last ObjectModification:
2010_06_23-AM-11_16_14
Home
Index