Setup ats2-postiats On your Mac

Package Information:

Name: ats2-postiats
Use: ATS is a statically typed programming language that unifies implementation with formal specification.
URL: http://www.ats-lang.org/

Installation Steps:

1. Open Terminal 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 ats2-postiats using brew

   brew install ats2-postiats

ats2-postiats is ready to use now!