mie 仕様 手書きの仕様書 (言語・prelude・CLI/ツール・パッケージ・用語集)。左のメニュー、または以下の一覧から選ぶ。各 API の網羅リファレンスは リファレンス を参照。 mie 言語仕様 公式 v1 mie の言語哲学 mie 標準ライブラリ (prelude) v1 mie 静的解析 (static analysis) mie コマンド仕様 v1 mie REPL 仕様 mie LSP サーバ (mie lsp) 仕様 mie 整形 (mie fmt) 仕様 mie パッケージ配布 (third-party モジュール) v1 mie 用語集