Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion manual.tex
Original file line number Diff line number Diff line change
Expand Up @@ -3599,7 +3599,7 @@ \section{\txt{再帰的な関数}{Recursive functions}}
val fact = fn : int -> int
\end{program}

以上の考え方に従い種々の再起関数を簡単に定義できます
以上の考え方に従い種々の再帰関数を簡単に定義できます
たとえば,すべての数の和を求める関数{\tt sum}や引数$n$に対して与
えられた定数$c$の$n$乗を計算する{\tt power}なども,これら関数がすでにあ
ると思うことによって,以下のように簡単に定義できます.
Expand Down