search

GaloisInc / cryptol

Cryptol: The Language of Cryptography
https://galoisinc.github.io/cryptol/master/RefMan.html
BSD 3-Clause "New" or "Revised" License
1.14k stars 126 forks source link

Gracefully skip docstrings on top-level functors #1730

Closed glguy closed 3 months ago

glguy commented 3 months ago

Fixes #1729