| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Agda.Converter.FuncDeclTests
Description
This module contains tests for FreeC.Backend.Agda.Converter.FuncDecl.
Synopsis
- testConvertFuncDecls :: Spec
Documentation
testConvertFuncDecls :: Spec Source #
Test group for convertFuncDecls tests.