参考資料を使わない

lean-ja / lean-by-example

コード例で学ぶ Lean 言語

https://lean-ja.github.io/lean-by-example/

MIT License

39 stars 7 forks source link

Closed Seasawher closed 3 months ago

Seasawher commented 3 months ago

TPiLやMetapro in lean よりも、この本の方が最新のleanに依拠しているし、そもそもTPiLがなんと言おうとコード例よりも信用できるものはない。

だから、「TPiLに書いてあるのでこう」みたいな記述はせず、すべてコード例で検証する方針を貫くべき。

Seasawher commented 3 months ago

abbrevのページとかで参照をしていたが、削除したい。

Seasawher commented 3 months ago

「この概念のことをこう呼ぶ」みたいな慣習に関しては参考資料に頼るしかないので、それは残してもOK