Skip to content

Latest commit

 

History

History
3 lines (3 loc) · 169 Bytes

README.md

File metadata and controls

3 lines (3 loc) · 169 Bytes

ormar-pyright-demo

This is demo code for ormar issue 1291 to compare model notations vis-à-vis pyright verification.