Arend icon indicating copy to clipboard operation
Arend copied to clipboard

Add documentation comments to Prelude.ard

Open marat-rkh opened this issue 3 years ago • 0 comments

According to the language reference (here), many declarations in Prelude are treated in a special way, they are not usual language constructs. It would be nice to have documentation comments right in the code to make that more explicit. The language reference is not always at hand, one could fail to find the necessary topics.

marat-rkh avatar Mar 22 '21 06:03 marat-rkh