darinmorrison/multisetoids — pull request #13 by jonsterling (2014-12-08 01:52:20+00:00)
Title: Add PER types with examples

I don't necessarily intend that we will merge this, since it's kind of experimental (and I am still not fully convinced of my definition, but it seems to work). Just wanted to demonstrate PER types in OTT.