kframework/k — pull request #55 by osa1 (2013-10-03 01:57:17+00:00)
Title: remove hkcd backend

after mailing list and meeting discussions I think it's OK to remove this.