decidable 0.2.1.0

1 Reverse dep Accepted versions
list-witnesses >=0.2