[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: [ANN] typecheck-1.0 released
- From: "Gary V. Vaughan" <gary@...>
- Date: Fri, 29 Jan 2016 00:03:28 +0000
> On 28 Jan 2016, at 22:57, Paul K <email@example.com> wrote:
> Hi Gary,
>> I am happy to announce release 1.0 of typecheck.
> Looks interesting; thank you for sharing!
>> Typecheck's home page is at http://gvvaughan.github.io/typecheck
> The URL returns 404.
Argh. Glad you brought that to me attention. Thanks again!
Two problems: (i) I forgot to push the gh-pages branch… now done;
(ii) I probably shouldn’t call the online LDocs html the homepage,
that would be https://github.com/gvvaughan/typecheck.