This website requires JavaScript.
Explore
Help
Register
Sign In
HEL
/
midas
Watch
1
Star
0
Fork
0
You've already forked midas
Code
Issues
Pull Requests
Releases
Activity
Files
1c71badf24dfe745fcdb93110e3bae40fb33c0c0
midas
/
midas
/
cli
History
LordBaryhobal
3ee1161680
fix: remove unused op statement
2026-06-15 00:03:31 +02:00
..
__init__.py
feat(cli): add basic CLI entrypoint
2026-05-22 11:09:54 +02:00
ansi.py
feat(cli): improve diagnostic printing
2026-06-07 13:42:15 +02:00
highlight.css
feat(cli): update highlighter with new nodes
2026-06-02 12:29:39 +02:00
highlighter.py
fix: remove unused op statement
2026-06-15 00:03:31 +02:00
hl_diagnostic.css
fix(cli): improve diagnostic message popup
2026-06-01 14:48:24 +02:00
hl_midas.css
fix!: remove union type
2026-06-02 17:19:17 +02:00
hl_python.css
feat(cli): add midas highlighter
2026-05-25 12:14:55 +02:00
main.py
feat(cli): add option to show type judgements
2026-06-15 00:03:22 +02:00