We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents a038085 + 4ca9583 commit 2373519Copy full SHA for 2373519
learn/eff/index.markdown
@@ -64,9 +64,9 @@ This program uses `do`-notation to combine two types of native effects provided
64
We can inspect the type of `printRandom` by using the `:type command`
65
66
> import RandomExample
67
- > :type main
+ > :type printRandom
68
69
-The type of `main` will be printed to the console. You should see a type which looks like this:
+The type of `printRandom` will be printed to the console. You should see a type which looks like this:
70
71
forall e. Eff (console :: CONSOLE, random :: RANDOM | e) Unit
72
0 commit comments