-
-
Notifications
You must be signed in to change notification settings - Fork 24
/
Test.hhs
33 lines (33 loc) · 839 Bytes
/
Test.hhs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
{
"version": "0.2.1.0",
"cells": [
{
"cell_type": "text",
"source": "Welcome to HyperHaskell!\nThis is a worksheet used for testing and debugging the application. But you may still have fun with it, if you like.\n"
},
{
"cell_type": "code",
"source": "1 + 2 :: Int"
},
{
"cell_type": "code",
"source": ":type 1 + 2"
},
{
"cell_type": "code",
"source": "return hello :: IO String"
},
{
"cell_type": "code",
"source": "hyperCheck $ \\xs -> reverse (reverse xs) == (xs :: [Int])"
}
],
"extensions": "",
"importModules": "import Main\nimport Hyper.Extra\nimport Test.QuickCheck",
"loadFiles": "Test.hs",
"settings": {
"packageTool": "stack",
"packagePath": "../haskell/stack.yaml",
"searchPath": "../worksheets"
}
}