Leonardo de Moura
|
6a880fecc9
|
chore: modify findDocString?
|
2021-09-21 17:29:40 -07:00 |
|
Leonardo de Moura
|
3d485bf375
|
feat: add moduleDocExt
|
2021-08-06 13:40:54 -07:00 |
|
Leonardo de Moura
|
84f78edb31
|
feat: store declaration ranges
|
2021-01-11 12:50:11 -08:00 |
|
Leonardo de Moura
|
c4259649ed
|
refactor: add MapDeclarationExtension
|
2021-01-10 18:25:56 -08:00 |
|
Leonardo de Moura
|
308c61027a
|
feat: save doc strings
We can now document `let rec` too.
|
2021-01-10 07:13:33 -08:00 |
|
Leonardo de Moura
|
2c8001a7f3
|
feat: add DocString.lean
|
2021-01-10 07:13:33 -08:00 |
|