root / dhall-ats

dhall-ats

Build Status

This is a small example demonstrating how to use Dhall in ATS.

Building

First, install cabal and GHC 8.2.2. Then install atspkg with

curl -sSl https://raw.githubusercontent.com/vmchale/atspkg/master/bash/install.sh | bash -s

Then, run

atspkg test

and see the result!