Verified Commit 6a8d043a authored by Camil Staps's avatar Camil Staps 🚀

Put back copyArray example for uniqueness syntax documentation (shows parentheses)

parent d71b1850
......@@ -513,6 +513,7 @@ bs_unique =
, syntax_doc_locations = [CLR 11 "9.1" "_Toc311798093"]
, syntax_examples = map EX
[ "Start :: *World -> *World // World is unique"
, "copyArray :: *(a e) -> *(*a e, *a e) | Array a e // Add parenthesis when needed"
, "f :: .a -> .a // f works on unique and non-unique values"
, "f :: v:a u:b -> u:b | [v<=u] // f works when a is less unique than b"
]
......
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