=== People ===

David Roe, Jon Hanke

=== Progress ===

We've just briefly discussed some desired features of completions.  There should be a coercion map from a number field to it's completion at any prime, and you should be able to create elements of a number field using weak and strong approximation.

If you have other aspects of completions you'd like to see you should add them here.