[Agda] Fwd: Course: Introduction to Dependently Typed Programming using Agda

[Conor McBride]

On 17 Jan 2011, at 17:13, Joseph Fredette wrote:

> Any chance lecture notes will be made available/video will be taken?

It is unlikely that video will be taken.

All the code from lectures and the specimen solutions for the
exercises will be available in a convenient darcs repository.

I will be working in literate Agda using lhs2TeX, so the lectures
will be chapters of something which might be loosely described as
a book. At this stage, I just don't know how much time I'll have
to frame the code with helpful prose, but I'll manage what I can.

All the best

Conor

>
> /Joe
>
> On Mon, Jan 17, 2011 at 11:35 AM, Conor McBride <conor at strictlypositive.org 
> > wrote:
> Folks
>
> For completeness, I thought I'd repost here.
>
> Conor
>
>
> ---------- Forwarded message ----------
>
> LFCS, University of Edinburgh presents:
>
> ****      Introduction to Dependently Typed Programming using Agda   
> ****
> by Conor McBride, MSP, University of Strathclyde
>
> More information available at:
> http://homepages.inf.ed.ac.uk/s0894694/agda-course/
>
> Location
> =======
> School of Informatics, University of Edinburgh, Scotland.
>
> Description
> =========
> Types guarantee properties of runtime behaviour. Dependent types give
> stronger guarantees based on runtime values. In this course we shall
> introduce dependently typed programming using the Agda programming
> language.
>
> The course consists of five weekly afternoon sessions with lectures
> and hands-on laboratories. Exercises between sessions will be set.
> Refreshments will be provided during breaks.
>
> Prerequisites
> ==========
>  This is a research level course. We assume basic familiarity with a
> functional programming language, such as Haskell or ML, in particular
> pattern matching and higher-order functions like map.
>
>
>
> This course is supported by the Scottish Informatics and Computer
> Science Alliance.
>
> Dates
> =====
> Mondays, January 31, 2011 - February 28, 2011.
>
> Registration
> ==========
>  Please let us know you are coming so we can prepare accordingly:
> Ohad Kammar  <  ohad.kammar      at     ed.ac.uk>
>
> More information available at:
> ---------------------------------------
>  http://homepages.inf.ed.ac.uk/s0894694/agda-course/
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>