Sandy Maguire
Sandy Maguire
This is exactly the function I've been looking for. Any chance of getting this merged, @CRogers @soenkehahn ?
Sounds great. I'll get started.
@soenkehahn I've gotten around this in #15 by just stripping off the context. IMO the primary usecase for this function is to ensure that custom type errors say what you'd...
I think we double down on emoji interfaces like the pear. Maybe we could use 📝 to add to a list and ✅ to remove from it.
I'd like this too!
Thanks for investigating, and for all of your time!
@yamadapc any chance of getting this merged?
Thanks for the report! I think I've fixed the problem with `\vee` vs `\or`; mind taking another look with those keen eyes of yours? It's uploaded as v1.0.7 on leanpub....
I don't think unsaturated tyfams are ever coming :(