4 ms·
Hi all! My primary objective with this post is to find potential collaborators and people willing to try it. (and file bugs!) If you do try it, I'd encourage y
by pschanely 7y ago
Hi all! My primary objective with this post is to find potential collaborators and people willing to try it. (and file bugs!)
If you do try it, I'd encourage you to think of it as an exercise in formally documenting your code's behavior, with the side benefit that CrossHair can sometimes help you ensure the correctness of that documentation.
And, of course, feedback of any kind at all is honestly appreciated. Thanks for being the awesome community that you are!
- zitterbewegung 7y agoThis is a really minor nitpick that I am expressing to help you market this better. Instead of saying (defunct) PEP 316 just say inspired which communicates that you don’t do everything of pep 316 also .
- exdsq 7y agoHey! I'd love to collaborate :) This is an area I'm trying to focus my Masters on, so any opportunity to apply what I'm reading is more than welcome! I'll add my email to my profile if you'd like to chat.