search

effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
334 stars 24 forks source link

Migrate doc comments to use '///' #628

Closed jiribenes closed 1 month ago

jiribenes commented 1 month ago

In preparation for @BinderDavid's #624, I went through the stdlib and tried to change doc comments to use /// :)

jiribenes commented 1 month ago

I'm pretty sure nobody wants to review this, so I'm just merging.