Zulip Chat Archive
Stream: batteries
Topic: Bi-inhabited sort
Damiano Testa (Jun 11 2023 at 06:21):
I just noticed that both docs4#instInhabitedSort (in Init.Prelude) and docs4#instInhabitedSort_1 (in Std.Logic) exist. Is this simply a duplication that can be removed, or is there some reason to have the two (apparently equal) instances?
Last updated: May 02 2025 at 03:31 UTC