A toy concatenative language to explore K ( http://k-framework.org ) - View it on GitHub