Documentation about unimath HOT 10 CLOSED

I think it makes more sense just to link to it, since arxiv.org will host the file forever.

from unimath.

On 11/09/2014 03:53 PM, Daniel R. Grayson wrote:

I think it makes more sense just to link to it, since arxiv.org will
host the file forever.

I also think that it is better to store articles in a place
mathematicians know well, like arXiv.

However, it makes sense to

• link to an article describing a package in the package's README
• create a wiki page gathering links to articles about (parts of)
  UniMath, from which we link to from the UniMath README.

I will start such a wiki page, please feel free to improve it.

from unimath.

On 11/09/2014 03:53 PM, Daniel R. Grayson wrote:

I think it makes more sense just to link to it, since arxiv.org will host the file forever.

I have added a rudimentary page to the Github wiki, available at [1].

The Github wiki is also a Git repository, with URL [2]. So it is
possible to add PDFs there, even though there does not seem to be a way
to do this through the web interface.

[1]
https://github.com/UniMath/UniMath/wiki/Documentation:-Articles-describing-UniMath
[2]https://github.com/UniMath/UniMath.wiki.git

from unimath.

Thanks!

On Sun, Nov 9, 2014 at 3:47 PM, Benedikt Ahrens [email protected]
wrote:

On 11/09/2014 03:53 PM, Daniel R. Grayson wrote:

I think it makes more sense just to link to it, since arxiv.org will
host the file forever.

I have added a rudimentary page to the Github wiki, available at [1].

The Github wiki is also a Git repository, with URL [2]. So it is
possible to add PDFs there, even though there does not seem to be a way
to do this through the web interface.

[1]

https://github.com/UniMath/UniMath/wiki/Documentation:-Articles-describing-UniMath
[2]https://github.com/UniMath/UniMath.wiki.git

—
Reply to this email directly or view it on GitHub
#48 (comment).

from unimath.

To link where? I

On Nov 9, 2014, at 2:53 PM, Daniel R. Grayson [email protected] wrote:

I think it makes more sense just to link to it, since arxiv.org will host the file forever.

—
Reply to this email directly or view it on GitHub #48 (comment).

from unimath.

Sorry, I wrote this before having seen Benedikt’s email. V.

On Nov 9, 2014, at 8:20 PM, Vladimir Voevodsky [email protected] wrote:

To link where? I

On Nov 9, 2014, at 2:53 PM, Daniel R. Grayson <[email protected] mailto:[email protected]> wrote:

I think it makes more sense just to link to it, since arxiv.org http://arxiv.org/ will host the file forever.

—
Reply to this email directly or view it on GitHub #48 (comment).

from unimath.

The second link in that email does not work. The first one works and looks great. V.

On Nov 9, 2014, at 3:47 PM, Benedikt Ahrens [email protected] wrote:

On 11/09/2014 03:53 PM, Daniel R. Grayson wrote:

I think it makes more sense just to link to it, since arxiv.org will host the file forever.

I have added a rudimentary page to the Github wiki, available at [1].

The Github wiki is also a Git repository, with URL [2]. So it is
possible to add PDFs there, even though there does not seem to be a way
to do this through the web interface.

[1]
https://github.com/UniMath/UniMath/wiki/Documentation:-Articles-describing-UniMath
[2]https://github.com/UniMath/UniMath.wiki.git
—
Reply to this email directly or view it on GitHub #48 (comment).

from unimath.

[2] only points to the wiki repository, i.e. is only to be used with git, not for viewing with the browser. To view the wiki in the browser, you can use the link on the main page of the UniMath repository.

Am 9. November 2014 21:48:06 GMT+00:00, schrieb Vladimir Voevodsky [email protected]:

The second link in that email does not work. The first one works and
looks great. V.

On Nov 9, 2014, at 3:47 PM, Benedikt Ahrens
[email protected] wrote:

On 11/09/2014 03:53 PM, Daniel R. Grayson wrote:

I think it makes more sense just to link to it, since arxiv.org
will host the file forever.

I have added a rudimentary page to the Github wiki, available at [1].

The Github wiki is also a Git repository, with URL [2]. So it is
possible to add PDFs there, even though there does not seem to be a
way
to do this through the web interface.

[1]

https://github.com/UniMath/UniMath/wiki/Documentation:-Articles-describing-UniMath
[2]https://github.com/UniMath/UniMath.wiki.git
—
Reply to this email directly or view it on GitHub
#48 (comment).

---

Reply to this email directly or view it on GitHub:
#48 (comment)

from unimath.

Can we close this issue?

from unimath.

yes.

from unimath.