前作はこちら https://zenn.dev/oumi0804/articles/450d54afafa303 ! 追記: かなりの内容がYOSHIMURA YuuさんのRustで型レベルプログラミングと被っています。 Whileの実装やLeanとの対比などは独自内容になっていますが、こちらの偉大な先人の記事もご参照ください。 https://zenn.dev/yyu/articles/1eefb8f547dc1b ! 4/14: Whileを使ったフィボナッチ関数の実装について加筆しました。 実際のコードは以下のgistを参照してください。 https://gist.githu...

💾