agda Installation on Mac

Package Information:

Name: agda
Use: Dependently typed functional programming language

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program.
URL: http://wiki.portal.chalmers.se/agda/

Installation Steps:

1. Open Terminal using Spotlight search by pressing <command+space>. Type terminal and hit Enter key.
2. Now, run

   ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

3. Install agda using brew

   brew install agda

agda is ready to use now!