diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-13 11:07:40 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-13 11:07:40 +0000 |
commit | cf44e166a956bb7a00f9185291f02c54d213be0f (patch) | |
tree | 87617eab467af8d5a27145f75c9e1145f2423be6 /test | |
parent | 425e96636c1311b52a9e72c004cd1e74deb37bf0 (diff) | |
download | choc-cf44e166a956bb7a00f9185291f02c54d213be0f.tar.gz choc-cf44e166a956bb7a00f9185291f02c54d213be0f.zip |
Adding simply typed lambda calculus
Diffstat (limited to 'test')
-rw-r--r-- | test/Spec.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/Spec.hs b/test/Spec.hs index cd4753f..12eed81 100644 --- a/test/Spec.hs +++ b/test/Spec.hs @@ -1,2 +1,7 @@ +import Test.Hspec + main :: IO () -main = putStrLn "Test suite not yet implemented" +main = hspec $ do + describe "Prelude.head" $ do + it "returns the first element of a list" $ do + head [23 ..] `shouldBe` (23 :: Int) |