2023.04.11
https://gyazo.com/8319e2adb9e4bc1054f5a3f6c24edbee
OtoMADBのWebフロントエンドこの規模でコード書いててテスト全く書いてないの本当にひどい
ほとんどが依存関係の解決だとしてもおかしいだろ
読んだ
メモ
意外とこれをちゃんとしっかりやろうとするとうっかり躓くということがわかった
例えば$ n変数定数関数なんかは本当に構成できるのか不安だ（現状の定義だと構成出来ない気がする）
$ \mathrm{const}^n_c(\vec{x}) = \underbrace{\mathrm{succ}(\cdots(\mathrm{succ}}_\text{$n$ times}(\mathrm{zero}()))\cdots)みたいな定義って許されるのか？
まあ別に良い気がしてきた，明らかにどう見ても原始再帰だし
読んだ
おもしれー！！
思った
留年の危機へ