Papredi Dependent Types in Scala

To play with dependent type in Scala:

1. Install sbt [1]
2. Get archive [2] and go into DependentType folder.
3. Run sbt run and ensure the output is:
   ************************************************** List
   value at index 1: 2
   Type Checks but Runtime error
   Type Checks but Runtime error
   ********************************************* SizedList
   value at index 1: 2
   ********************************************** Sized[_]
   value at index 1: 2
   value at index 1: 2
4. See DependentType.scala for more explanation

[1] http://www.scala-sbt.org/
[2] https://github.com/rcherrueau/APE/releases/download/Papredi-2015-03-11/DependentType.tar.gz