Introduction to the design of computational calculi

Homework and notes form Greg Meredith lectures.

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system

Prerequisites

Installs

• sbt
• JDK8

clone the repo

git clone git@github.com:kayvank/calculi.git

Ruunig the tests

cd calculi
sbt test