[slide] ATS/LF for Coq users

[Kiwamu Okabe]

Hi all,

Today, I introduced ATS/LF at Japanese local meeting name "Proof Summit".

http://www.slideshare.net/master_q/atslf-for-coq-users

I think it's useful to learn ATS/LF for all people.

Thank's,
--
Kiwamu Okabe at METASEPI DESIGN

[Brandon Barker]

I look forward to digesting the slides at some point, looks like a lot of work went in to this - thanks!

--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmsdDRUb%3DbqzkdFARYMBFBHh%2BTn7zWZy1pFENvKgLC9dw%40mail.gmail.com.

--

Brandon Barker
brandon...@gmail.com

[gmhwxi]

Thanks for the great effort!

I added a news item to the following page:

http://www.ats-lang.org/Community.html

Cheers!

[aditya siram]

This is beautiful! The ATS/Coq correspondence slides are really useful. I didn't really understand any of Coq of until I read those and now I understand both languages better!