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.
1 parent 16795c7 commit 9a0e772Copy full SHA for 9a0e772
src/Data/Unrestricted/Linear.hs
@@ -4,7 +4,7 @@
4
-- = /Critical/ Definition: Restricted
5
--
6
-- In a linear function @f :: a %1-> b@, the argument @a@ must
7
--- be used in a linear way. Its use is __restricted__ while
+-- be used in a linear way. Its use is __restricted__. By contrast,
8
-- an argument in a non-linear function is __unrestricted__.
9
10
-- Hence, a linear function with an argument of @Ur a@ (@Ur@ is short for
0 commit comments