[Agda] release schedule, coding suggestions, book
Andreas Abel
abela at chalmers.se
Mon Nov 10 23:50:25 CET 2014
That is very good news!
Re 1.
A release schedule for Agda does not exist, but I am planning to release
bug fixes for Agda-2.4.2 soon, hopefully before the end of this month.
Cheers,
Andreas
On 05.11.2014 18:56, Aaron Stump wrote:
> Hello, Agda community. I am teaching a class on functional programming
> Spring 2015 using Agda (I did this Spring 2014, too). I have a couple
> of questions you can probably help me with:
>
> 1. Are there any planned new releases of Agda between now and, say,
> mid-February? I want to start the class off with the latest version of
> Agda, but since we will be bundling Windows MSI files for Agda, I need
> to plan ahead for what that release might be. In general, is a planned
> release schedule posted somewhere on the Wiki? I did not notice it in a
> quick inspection.
>
> 2. I am planning on turning the class into a lemma-proving factory. I
> have always dreamed of doing this, and the results were pretty good
> Spring '14. Since we only care if lemmas type-check (unless time to
> type check becomes an issue), student solutions can be incorporated into
> a library without further scrutiny. Do you have suggestions or requests
> for reasonably basic FP algorithms or building blocks we could prove
> properties of? I will likely try to get inspiration from the Haskell
> Prelude, just as an example, but I thought I would ask. I will be
> including whatever we develop as part of the "Iowa Agda Library", whose
> current version is available here:
>
> https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib
>
> Username and password are both "guest" (without the quotes) if prompted.
>
> 3. I am also writing a book called "Verified Functional Programming in
> Agda". I have a good bit more to go, but hope to be completing a draft
> by the end of Spring '15. I am currently talking with publishers, and
> could publish with a company called Cognella, which focuses on niche
> textbooks. I am curious if others might possibly be interested in using
> such a book for class. The more copies I can assure the publisher would
> be sold, the lower the price I can negotiate. The current draft --
> rather spotty currently -- is here
>
> https://svn.divms.uiowa.edu/repos/clc/projects/agda/book
>
> Again, username and password are guest if you are asked. The focus is
> on basic verification methods for pure functional programs, rather than
> advanced Agda (which I do not know much of anyway).
>
> Thanks,
> Aaron
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list