Make _⟨⟩ the constructor of ∃ so it can be used in patterns
#255
jespercockxnix-ci.yml
on: push
Test building inside a nix shell
1m 22s
Matrix: nix-build