[Agda] Unit testing

Nils Anders Danielsson nad at chalmers.se
Tue Oct 4 16:36:19 CEST 2011

Previous message: [Agda] Unit testing
Next message: [Agda] PhD Positions on Trustworthy Electronic Elections
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2011-10-04 16:12, Alan Jeffrey wrote:
> Agreed. Is hunit still the best unit test framework to link against for
> GHC?

I don't know.

-- 
/NAD

Previous message: [Agda] Unit testing
Next message: [Agda] PhD Positions on Trustworthy Electronic Elections
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list