Agda tutorial

[Alexey Sergushichev]

Который из туториалов лучше почитать?

[Jan Malakhovski]

I think it would be nice to keep as much as possible of our public
activity in English.
Reasons: showing off, practice, globalization.

Agda tutorials approved by me:
* http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf
* http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/07/interactiveTheoremProvingForAgdaUsers.html
* http://www.youtube.com/playlist?list=PL44F162A8B8CB7C87

Agda/FP tutorials made by me:
* http://blog.oxij.org/2011/12/22/howto-get-started-with-agda/
* http://blog.oxij.org/2012/01/16/the-decent-way-to-learn-functional-programming/
Seminar is a motivation to continue this list, I hope to blog about
almost every topic we are going to examine on the way.

For CTD students: the rain account of mine has ~/public_fs/ttfv
directory with a bundle (going to be updated once in a while) of
cached pdfs and stuff.

TTFV will be getting a home page with a plan and links in a day or two.

--
Jan

On Sat, Apr 14, 2012 at 12:26 PM, Alexey Sergushichev
<alse...@gmail.com> wrote:
> Который из туториалов лучше почитать?
>

> --
> You received this message because you are subscribed to the Google Groups
> "Type Theory for Vegetables" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/type-theory-for-vegetables/-/kZcf0PSqlmAJ.
> To post to this group, send email to
> type-theory-f...@googlegroups.com.
> To unsubscribe from this group, send email to
> type-theory-for-veg...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/type-theory-for-vegetables?hl=en.

[Alexey Sergushichev]

Oh, thanks. The second tutorial (from cs.swan.co.uk) looks much
friendlier than the first one which I tried to read before raising the
topic.

---
Alexey Sergushichev

[Кирилл Елагин]

I'd like to note that, IMHO, the first tutorial is really super-cool if you can spend some time trying to understand what's going on there.

BTW, the link seems to be dead right now, but the pdf you can find on rain is precisely a copy of the file this link used to point to.

суббота, 14 апреля 2012 г., 21:55:31 UTC+4 пользователь Alexey Sergushichev написал:

>> type-theory-for-vegetables@googlegroups.com.

>> To unsubscribe from this group, send email to

>> type-theory-for-vegetables+unsub...@googlegroups.com.

>> For more options, visit this group at
>> http://groups.google.com/group/type-theory-for-vegetables?hl=en.
>
> --
> You received this message because you are subscribed to the Google Groups "Type Theory for Vegetables" group.

> To post to this group, send email to type-theory-for-vegetables@googlegroups.com.
> To unsubscribe from this group, send email to type-theory-for-vegetables+unsub...@googlegroups.com.

> For more options, visit this group at http://groups.google.com/group/type-theory-for-vegetables?hl=en.
>

суббота, 14 апреля 2012 г., 21:55:31 UTC+4 пользователь Alexey Sergushichev написал:

>> type-theory-for-vegetables@googlegroups.com.

>> To unsubscribe from this group, send email to

>> type-theory-for-vegetables+unsub...@googlegroups.com.

>> For more options, visit this group at
>> http://groups.google.com/group/type-theory-for-vegetables?hl=en.
>
> --
> You received this message because you are subscribed to the Google Groups "Type Theory for Vegetables" group.

> To post to this group, send email to type-theory-for-vegetables@googlegroups.com.
> To unsubscribe from this group, send email to type-theory-for-vegetables+unsub...@googlegroups.com.