[Agda] Makefile

David Leduc david.leduc6 at googlemail.com
Fri Sep 24 13:18:27 CEST 2010

Previous message: [Agda] Proving equality of pairs
Next message: [Agda] Makefile
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi again,

Is there an equivavent of Coq's coq_makefile for Agda?

Previous message: [Agda] Proving equality of pairs
Next message: [Agda] Makefile
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list