Commit f9d25b86 authored by Alexandre Delanoë's avatar Alexandre Delanoë

[ELEVE] main specs more generic.

parent 513b860e
Pipeline #580 failed with stage
......@@ -375,7 +375,10 @@ mainEleve' n x y = mainEleveWith x' n y
x' = buildTries n (fmap toToken x)
-- | This function should take the longest possible chain of:
-- mainEleve'' n x y = maxChainWith [mainEleve' n x y, mainEleve' n x x]
-- mainEleve'' n x y = maxChainSizeOf [ mainEleve' n x y
-- , mainEleve' n x x
-- , mainEleve' n y y
-- ]
mainEleve'' :: Int -> [[Text]] -> [[Text]] -> [[[Text]]]
mainEleve'' = undefined
......
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