Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created a stub for completion monad.
In the course of doing so I found it unfortunate that the link constructive analysis simply redirected to analysis, a page from which the constructive formulation and the point of it was hardly to be extracted. So I have split off constructive analysis right now. But except for a sentence pointing back to the completion monad, it just contains for the moment the list of references that we already had.
1 to 1 of 1