Arend
Arend copied to clipboard
Add documentation comments to Prelude.ard
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.