How to install agda-stdlib in any zesty Operating System
How to Install – agda-stdlib in zesty Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get update sudo dpkg -i install agda-stdlib 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-stdlib Package is now […]