Commit 495c65fb authored by Michael Hanus 's avatar Michael Hanus

Type-class version

parent 3c0f4f6b
Pipeline #442 failed with stages