Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 12th 2014
   • (edited Feb 12th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexcreated 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.

   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.