satysfi-grammar.md

プログラムモードの字句は以下の通り(\sは[ \t\n\r]): /\s+/ 空白(無視) /%.*$/ コメント /@\w+:.*$/ ヘッダ指令 /\(\)/ ユニット /\(/ .. /\)/ 括弧 /\(\|/ .. /\|\)/ レコード /\[/ .. /\]/ リスト /;/ リスト区切り /\{/ .. /\}/ 水平モード /'</ .. />/ 垂直モード /\$\{/ .. /\}/ 数式モード /<\[/ .. /\]>/ パスのための括弧 /\.\./ パス曲線オペレータ /--/ パス直線オペレータ /`+/ リテラル (同じ数の /`/ で閉じる) /\\[a-zA-Z][-a-zA-Z0-9]*/ 水平コマンド名 /\+[a-zA-Z][-a-zA-Z0-9]*/ 垂直コマンド名 /\#/ メンバオペレータ /->/ 矢印 /<-/ セルの書き換えオペレータ