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