HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases Activity

chore: add stubs command to README

Browse Source
This commit is contained in:
Louis Heredero
2026-06-20 17:44:15 +02:00
parent e4ab27673d
commit 3f48c2138f
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@@ -18,6 +18,7 @@ This framework is being developed as part of a Bachelor's Thesis by Louis Herede
- [Highlighting](#highlighting) - [Highlighting](#highlighting)
- [Dumping the AST](#dumping-the-ast) - [Dumping the AST](#dumping-the-ast)
- [Dumping the Registry](#dumping-the-registry) - [Dumping the Registry](#dumping-the-registry)
- [Generating Stubs](#generating-stubs)
- [Showing Type Judgements](#showing-type-judgements) - [Showing Type Judgements](#showing-type-judgements)
- [Validating Definitions](#validating-definitions) - [Validating Definitions](#validating-definitions)
- [Tests](#tests) - [Tests](#tests)
@@ -116,6 +117,14 @@ midas dump-registry -t types.midas
This command processes the given Midas definitions and dumps the contents of the types registry. This command processes the given Midas definitions and dumps the contents of the types registry.
### Generating Stubs
```shell
midas stubs types.midas -o stubs.pyi
```
This command generate Python stubs from a Midas definition file
### Showing Type Judgements ### Showing Type Judgements
```shell ```shell