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
c4c142482a828452fa15ebda6e5dc18f651b7998
midas
/
midas
History
LordBaryhobal
c4c142482a
feat(resolver): handle generic application
2026-06-15 00:03:12 +02:00
..
ast
fix: remove unused SetExpr
2026-06-07 17:48:31 +02:00
checker
refactor(checker): move is_subtype to resolver
2026-06-15 00:03:12 +02:00
cli
fix: remove unused SetExpr
2026-06-07 17:48:31 +02:00
lexer
fix!: remove union type
2026-06-02 17:19:17 +02:00
parser
fix!: remove union type
2026-06-02 17:19:17 +02:00
resolver
feat(resolver): handle generic application
2026-06-15 00:03:12 +02:00
__init__.py
feat: add pyproject.toml
2026-05-22 11:09:24 +02:00
utils.py
fix(cli): ignore repeated visit of types
2026-06-01 14:10:07 +02:00