[Agda] Norell's tutorial

Serge D. Mechveliani mechvel at botik.ru
Wed Jul 18 11:23:28 CEST 2012

Previous message: [Agda] PEPM 2013: Second Call for Papers
Next message: [Agda] Agda IO - accessing command-line arguments
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This is on  tutorial.pdf,
            Ulf Norell. "Dependently Typed Programming in Agda".

It has 41 pages, and it has sense to add the `Contents' chapter in the
beginning.

Regards,

------
Sergei

Previous message: [Agda] PEPM 2013: Second Call for Papers
Next message: [Agda] Agda IO - accessing command-line arguments
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list