avieth/GraphPatterns — pull request #1 by avieth (2014-10-15 01:38:43+00:00)
Title: Type-level representation of edge cardinality constraints

This is a work in progress. Will write a detailed report when it's finished.