Commit 69bae891 authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺

Add type-signature in spectral/para to help type-inf

This testcase broke due to the generalised `Data.Foldable.length`
parent 5c9562cf
......@@ -513,6 +513,7 @@ we stipulate also that \verb"cost [] = 0".)
The program resulting from this data refinement is as follows.
\begin{mcode}
>par1' :: [[a]] -> [[[a]]]
>par1'
> = the . minWith cost . fold1 step start
> where
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment