Collaboration about pattern matching and adts

[thautwarm]

Hi, Justin.

After several months, my project providing the very high performance pattern matching finally got released.

I wonder if we could mutually refer the projects in each README, then people can have a good instruction about how to work with both pattern matching and adt in Python.

Besides, my project does not work with static checker like Mypy due to my limited knowledge about writing mypy plugins. I'd ask if you could help me out of this, any stuff would be appreciated.

[thautwarm]

https://github.com/jspahrsummers/adt/issues/18