[Agda] Agda documentation
Harley Eades III
harley.eades at gmail.com
Thu Nov 5 15:41:01 CET 2015
Hi, everyone.
I couldn’t agree more with what everyone is saying. Documentation will go a
long way for Agda! This is very exciting.
Andy, I often feel the exact same way.
Very best,
Harley
> On Nov 5, 2015, at 8:59 AM, Andrew Pitts <Andrew.Pitts at cl.cam.ac.uk> wrote:
>
> On 5 November 2015 at 12:24, Ulf Norell <ulf.norell at gmail.com> wrote:
>> In case you're not following the github repository closely, you might not
>> know about the documentation project that is slowly taking shape at
>> http://agda.readthedocs.org. I just added a section on with-abstraction that
>> might be of interest to people:
>>
>> http://agda.readthedocs.org/en/latest/language/with-abstraction.html
>
> That looks really useful. If the rest of the documentation ends up
> being that good, it will be GREAT!. Agda has many wonderful features,
> but finding out about some of them at the moment is like playing a
> text adventure game in an emacs buffer! (I pick up sized types and see
> what I can do with them, emacs responds with some sometimes cryptic
> comment, I pick up something else, etc, etc -- you get the idea.)
>
> Andy
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
More information about the Agda
mailing list