patch applied (generics): SYB1_2 implements the new Reduce test, but fails because of inherent limitations.
1 Jun
2007
1 Jun
'07
12:20 a.m.
Thu May 31 08:57:19 PDT 2007 Alexey Rodriguez <alexey@cs.uu.nl> * SYB1_2 implements the new Reduce test, but fails because of inherent limitations. M ./comparison/SYB1_2/Reduce.lhs -18 +7 M ./comparison/TestReduce.lhs +1
6996
Age (days ago)
6996
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev