Skip to content
This repository was archived by the owner on Aug 24, 2024. It is now read-only.

Commit a8f2efd

Browse files
authored
Update README.md
1 parent 17da0fa commit a8f2efd

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

README.md

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,12 @@ For more information about Alectryon make sure to take a look at their repositor
8080
# Development
8181

8282
## Experimental Features
83-
`--experimental-type-tokens` flag enables the type hover information for Alectryon. However this feature in Alectryon is still in active development and available here: [AlectryonFork:typeid](https://github.com/insightmind/alectryon/tree/typeid)
83+
84+
### Additional Type Hover Metadata
85+
The following flags are experimental and used to display additional information about a source text token in Alectryon. However this feature in Alectryon is still in active development and available here: [AlectryonFork:typeid](https://github.com/insightmind/alectryon/tree/typeid):
86+
87+
- `--x-enable-type-info` flag enables extraction of type information
88+
- `--x-enable-docStrings` flag enables extraction of doc strings
8489

8590
## Running Tests
8691
There are some aspects you might want to take note of when attempting to develop a feature or fix a bug in LeanInk.

0 commit comments

Comments
 (0)