ファイル:Leanの構文例.png
ナビゲーションに移動
検索に移動
このプレビューのサイズ: 800 × 385 ピクセル。 その他の解像度: 320 × 154 ピクセル | 930 × 447 ピクセル。
元のファイル (930 × 447 ピクセル、ファイルサイズ: 77キロバイト、MIME タイプ: image/png)
概要
| 解説 |
日本語: Listのモナドインスタンスによるdo構文のほか、フィールド記法や#guardによるテストを利用している。 |
| 日付 | |
| 原典 | 投稿者自身による著作物 |
| 作者 | Kitamado |
ライセンス
この作品の著作権者である私は、この作品を以下のライセンスで提供します。
このファイルはクリエイティブ・コモンズ 表示-継承 4.0 国際ライセンスのもとに利用を許諾されています。
- あなたは以下の条件に従う場合に限り、自由に
- 共有 – 本作品を複製、頒布、展示、実演できます。
- 再構成 – 二次的著作物を作成できます。
- あなたの従うべき条件は以下の通りです。
- 表示 – あなたは適切なクレジットを表示し、ライセンスへのリンクを提供し、変更があったらその旨を示さなければなりません。これらは合理的であればどのような方法で行っても構いませんが、許諾者があなたやあなたの利用行為を支持していると示唆するような方法は除きます。
- 継承 – もしあなたがこの作品をリミックスしたり、改変したり、加工した場合には、あなたはあなたの貢献部分を元の作品とこれと同一または互換性があるライセンスの下に頒布しなければなりません。
|
このメディアファイルにカテゴリが指定されていません。
このメディアファイルの利用を向上させるために一つ以上のカテゴリに含めてください。（カテゴリ分類の方法） そうすることで、関連するメディアファイルがまとめて表示されるため、類似したメディアファイルをより容易に探し出すことができるようになります。
Please notify the uploader with {{subst:Please link images|File:Leanの構文例.png}} ~~~~ |
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
| 日時 | サムネイル | 寸法 | 利用者 | コメント | |
|---|---|---|---|---|---|
| 現在の版 | 2025年1月3日 (金) 07:29 | | 930 × 447 (77キロバイト) | wikimediacommons>Kitamado | Uploaded while editing "Lean (証明アシスタント)" on ja.wikipedia.org |
ファイルの使用状況
以下のページがこのファイルを使用しています:
