This repository has been archived by the owner on Feb 1, 2020. It is now read-only.

Resources

Jump to bottom

dwightguth edited this page Aug 28, 2014 · 1 revision

This page highlights some of the resources available on the wiki and in the code for developers and users of K.

Learning K

To learn K, it's recommended you start with the K Tutorial

Git FAQ

K Framework Dependencies

K Manual

Draft (out of date) and Scratchpad

For New Developers