kframework/k — pull request #975 by yilongli (2014-09-23 02:54:47+00:00)
Title: non-recursive non-AC pattern matcher (work in progress)

not ready for review yet