search

lean-ja / lean-ja.github.io

lean-ja の団体トップページ
https://lean-ja.github.io/
MIT License
0 stars 0 forks source link

index ページ更新 / Lean についての説明を，より饒舌にする #13

Closed Seasawher closed 1 year ago

Seasawher commented 1 year ago

Lean プレイ風景を加えるために編集していたのですが，説明がそっけない感じがしたので，より熱く語る感じにしました．

Lean のプレイ風景をどうするかも後で考えておきます．

Seasawher commented 1 year ago

Lean プレイ風景も追加しました

元の文章より流れが自然になったかなと思います

追記：zola serve して見た目を確認してもらえたらと思います．