Constant project_init::includes::IDRIS_TEST
[−]
[src]
pub const IDRIS_TEST: &'static str=
"module Test.Spec\n\nimport Specdris.Spec\n\nexport\n\nspecSuite : IO ()\nspecSuite = spec $ do\n describe \"something trivial\" $\n it \"should add two numbers correctly\" $\n 14 + 3 `shouldBe` 17\n"