#PTS

## Description

An Haskell implementation of the [Pure Type
System](http://ncatlab.org/nlab/show/pure+type+system)

##Installation

Run the following commands at the top:

```
cabal configure
cabal install
```


#PTS

## Description

An Haskell implementation of the [Pure Type
System](http://ncatlab.org/nlab/show/pure+type+system)

##Installation

Run the following commands at the top:

```
cabal install
```


Remove redundant 'cabal configure' call.
Remove redundant 'cabal configure' call.
