* Ahn, Ki Yung wrote:
> This is why I am looking for existing work, because I am
> not yet very sure about my code I'm using.
http://www.galois.com/technology/communications_security
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haske
Ahn, Ki Yung 쓴 글:
>
>> reduce (Bs (x:xs)) | all (x==) xs = x
>> reduce (Rep x@(Rep _)) = x
>> reduce x = x
I already found a bug. The second equation of reduce
"reduce (Rep x@(Rep _)) = x" is wrong because it flattens
two dimensions into one. The reduce function should be:
> re