Strings are inhabited
Add instance for Inhabited string
; usually you can rely on stdpp having all the instances you'd expect, which is pretty cool, so let's fix this small exception
Add instance for Inhabited string
; usually you can rely on stdpp having all the instances you'd expect, which is pretty cool, so let's fix this small exception
mentioned in commit 72bf1989
merged
Thanks!