[clean-list] Re: (digest): Clean and scientific programming

[Siegfried Gonzi]

Siegfried Gonzi siegfried.gonzi@kfunigraz.ac.at writes,



> gh:: !Int {*{#Real)) -> {*{#Real}}
> gh a marray = kl a marray
> where
>        // nj = (size marray)
>        kl:: !Int {*{#Real}} -> {*{#Real}}
>                | n == (size marray) = marray
>                = kl (n+1) { marray & [n] = ....}


Sorry, but correctly it should be (in both code segements):

= kl (n+1) { marray & [n,n] = ... }

Only for heavans sake.

S. Gonzi