search

lean-ja / fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）
https://lean-ja.github.io/fp-lean-ja/
Other
8 stars 2 forks source link

GitPod の設定をする #3

Closed Seasawher closed 11 months ago

Seasawher commented 12 months ago

プレビューするのには mdbook と Lean だけでなく Python も必要で，バージョンも指定しないといけない

クラウド開発環境をセットアップしておくのが良いと思われる

Seasawher commented 12 months ago

なぜかうまく行かない（python 3.10 を venv 経由で入れても，まだコマンドがうまく動作しなかった．エラーにはならないのだが…）

Seasawher commented 11 months ago

難しそうなうえに，できたところでメリットが薄いので延期に