Homework 6 : CLI

I will be working on the terminal on my Mac to execute the CLI commands. We will be looking at three common commands used in the terminal:

a) pwd: print working directory. It tells us which is the current working directory.

b) ls: list all the items in the current working directory.

c) clear: This clears all the commands from the terminal

Open

Installing Idris :

For this assignment, I will be reinstalling Idris on my laptop. Idris is a programming language as we have python, java, and many others. I had previously installed the language but over time I have to reinstall it so that we work out efficiently.

Open

Open

Type in Idris on your CLI to run the program:

Open