です
Agdaにはさん付けが良いのか、くんづけが良いのか、その他(って言っても)が良いのか分かりません。あとAgdaは定理証明系の属という呼び方が普通で、それはPrologが人工知能向けだとかっていう(まぁLispが人工知能界隈向きというよりはマシな気がするんですけ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。