[Agda] Unit testing

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


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


More information about the Agda mailing list