alk-language
Pinned Loading
Repositories
Showing 2 of 2 repositories
- k-semantics Public
This repository includes the K specifications of the Alk language and of its dialects.