This repository has been archived by the owner on Feb 1, 2020. It is now read-only.
Version 3.4 of the K Semantic Framework
This is the last stable release before switching the handling of collections from meta-level to user level built-ins.