UnivalentMathematics/Foundations — pull request #13 by DanGrayson (2014-03-19 12:35:45+00:00)
Title: Pull 7

Benedikt, look at https://github.com/DanGrayson/Foundations/blob/pull-7/Packages/RezkCompletion/README.md -- perhaps it's closer to what you want.

This pull request is just a suggestion.