6 lines
104 B
WDTE
6 lines
104 B
WDTE
|
let memo a m n => true {
|
||
|
|
== m 0 => + n 1;
|
||
|
|
== n 0 => a (- m 1) 1;
|
||
|
|
true => a (- m 1) (a m (- n 1));
|
||
|
|
};
|