(500) https://www.kframework.org/index.php/K_Tutorial
kframework.org
Sigh puts K on long list of new cool programming tech to learn about
Sigh puts K on long list of new cool programming tech to learn about