Commit 6f344cbe authored by Camil Staps's avatar Camil Staps 🚀

Fix :: in @type

parent 73277fd5
......@@ -14,7 +14,7 @@ import StdClass
/**
* The first element of a two-tuple.
*
* @type :: !(!.a,.b) -> .a
* @type !(!.a,.b) -> .a
* @param The tuple
* @result The first element
*/
......@@ -23,7 +23,7 @@ fst tuple :== t1 where (t1, _) = tuple
/**
* The second element of a two-tuple.
*
* @type :: !(.a,!.b) -> .b
* @type !(.a,!.b) -> .b
* @param The tuple
* @result The second element
*/
......@@ -32,7 +32,7 @@ snd tuple :== t2 where (_, t2) = tuple
/**
* The first element of a three-tuple.
*
* @type :: !(!.a,.b,.c) -> .a
* @type !(!.a,.b,.c) -> .a
* @param The tuple
* @result The first element
*/
......@@ -41,7 +41,7 @@ fst3 tuple :== t1 where (t1, _, _) = tuple
/**
* The second element of a three-tuple.
*
* @type :: !(.a,!.b,.c) -> .b
* @type !(.a,!.b,.c) -> .b
* @param The tuple
* @result The second element
*/
......@@ -50,7 +50,7 @@ snd3 tuple :== t2 where (_, t2, _) = tuple
/**
* The third element of a three-tuple.
*
* @type :: !(.a,.b,!.c) -> .c
* @type !(.a,.b,!.c) -> .c
* @param The tuple
* @result The third element
*/
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment