kframework
syntax
BNFライクな記法
attribute
left
左結合
bracket
ASTで括弧のnodeを作らないようにする(=括弧はグループ化のためだけに使う)
binder
最初の引数を変数として扱う
strict
正格評価(strict evaluation)させるやつ
seqstrict
引数の順番どおりに正格評価させるやつ
公式ページ
github
チュートリアル
オンラインで動かせるやつ
概要
ペーパーなど
nrryuya.icon
Kの定義の仕方についてのわかりやすい唯一日本語の記事