| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Traq.CQPL
Documentation
module Traq.CQPL.Syntax
module Traq.CQPL.TypeCheck
module Traq.CQPL.Cost
module Traq.CQPL.Memory
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Traq.CQPL
module Traq.CQPL.Syntax
module Traq.CQPL.TypeCheck
module Traq.CQPL.Cost
module Traq.CQPL.Memory