paths

1
2
3
paths 0 _ = 1
paths _ 0 = 1
paths m n = paths (m-1) n + paths m (n-1)