This folder contains examples from ParTypes.

http://download. gloss.di.fc.ul.pt/ParTypes/ParTypes.zip
