Pure Type Systems for Functional Programming - View it on GitHub