search

obsidiansystems / dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
54 stars 39 forks source link

Add github actions #63

Closed Ericson2314 closed 3 years ago

Ericson2314 commented 3 years ago

So we get some CI until the Nix one is fixed.