Open solomon-b opened 1 year ago
What kind of user experience do we want here? I can imagine a few options:
nix
ghcup
coq
What kind of user experience do we want here? I can imagine a few options:
nixorghcupcoqcoq