Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
linear types
linear types
· Changes
Page history
Notation (I forgot one instance)
authored
Jul 17, 2020
by
Arnaud Spiwack
Show whitespace changes
Inline
Side-by-side
linear-types.md
View page @
23a7b864
...
@@ -82,7 +82,7 @@ So we can write
...
@@ -82,7 +82,7 @@ So we can write
```
```
strange :: Int ->
.
[Int]
strange :: Int
#
-> [Int]
strange x = (repeat 1) ++ [x]
strange x = (repeat 1) ++ [x]
```
```
...
...