| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Agda.Tests
Description
This module contains tests for modules with the
FreeC.Backend.Agda prefix.
Synopsis
- testAgdaBackend :: Spec
Documentation
testAgdaBackend :: Spec Source #
Test group for tests of modules with the FreeC.Backend.Agda prefix.