Skip to content

Fix decidable instances to be discoverable #20

Fix decidable instances to be discoverable

Fix decidable instances to be discoverable #20