Add uncons' to base; rewrite head' and tail' in terms of uncons' #3267
gallaisci-idris2.yml
on: push
initialise
6s
nix-bootstrap-chez
0s
macos-self-host-chez
0s
ubuntu-self-host-racket
0s
windows-self-host-racket
0s
ubuntu-katla
0s
Annotations
2 errors
|
quick-check
Canceling since a higher priority waiting request for 'refs/heads/main' exists
|
|
quick-check
The operation was canceled.
|