Nuprl Definition : binary-fps
*50/50* == [(1/2); (1/2)]
Definitions occuring in Statement :
cons: [a / b],
nil: [],
natural_number: $n,
qdiv: (r/s)
Definitions :
cons: Error :cons def,
qdiv: (r/s),
natural_number: $n,
nil: Error :nil def
FDL editor aliases :
binary-fps
*50/50* == [(1/2); (1/2)]
Date html generated:
2015_07_17-AM-07_57_56
Last ObjectModification:
2008_02_27-PM-05_47_09
Home
Index