search

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
MIT License
273 stars 36 forks source link

Fix docstrings of Fold for functions #103

Closed bugarela closed 7 months ago

bugarela commented 7 months ago

Hello :octocat:

Just a small docstring fix. I suppose the comments were copy-pasted and these slipped through.