Skip to content
Cink is a kernel of the C++ language we used to experiment with K. The language is used an example for teaching classes and is referred in several research papers.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
arrays
basic
doc-files
ltlmc
pointers
references
threads
.gitignore
README.md
cink-report.k
config.xml

README.md

cink

Cink is a kernel of the C++ language we used to experiment with \K. The language is used an example for teaching classes and is referred in several research papers.

You can’t perform that action at this time.