Add pipeline operators #645
Annotations
1 error and 1 warning
|
Build Idris 2 from bootstrap
Process completed with exit code 2.
|
|
Install build dependencies
[email protected] 3.12.3 is already installed and up-to-date.
To reinstall 3.12.3, run:
brew reinstall [email protected]
|
Loading