This is an archived project. Repository and other project resources are read-only.

Commit 8d186905 authored 2 years ago by Jean-Paul Calderone

Merge branch 'ord-instances' into 'main'

Add `Ord` instances for capability types

See merge request !15

No related branches found

No related tags found

Checking pipeline status