Nuprl - Sections preceding SquareRootLoop

Sections needed for SquareRootLoop

SquareRootLoop	Stand-alone exercise: loop computing natural number square root
int 2
bool 1
int 1
well fnd
core	Some basic concepts defined type-theoretically.