Let me quote the part of the comment that you didn't read: > but for code that’s supposed to be used in production it’s useless This isn't about doing what yo

Let me quote the part of the comment that you didn't read: > but for code that’s supposed to be used in production it’s useless This isn't about doing what you love - it's about engineering a product, a product that needs to have certain safety, security, and stability guarantees. That's the context of this conversation, and for that purpose, Hare isn't suitable.