kframework/k — pull request #608 by grosu (2014-06-15 16:06:22+00:00)
Title: partially updated tutorial/5_types

I only made lessons 1, 2, and 3 work, as the other require unification.k which seems to be broken.