patch applied (generics): LIGD: trimmed spaces + aligned + fixed comments + small rename

15 Jun
2007
15 Jun
'07
7:38 p.m.
Fri Jun 15 09:42:32 PDT 2007 patrikj@chalmers.se * LIGD: trimmed spaces + aligned + fixed comments + small rename M ./comparison/CompanyDatatypes.hs -3 +3 M ./comparison/GM/GM.lhs -3 +3 M ./comparison/LIGD/BinTreeReps.hs -5 +4 M ./comparison/LIGD/CompanyReps.hs -13 +13 M ./comparison/LIGD/FoldTree.lhs -6 +6 M ./comparison/LIGD/GEq.lhs -28 +17 M ./comparison/LIGD/GMap.lhs -3 +2 M ./comparison/LIGD/GRoseReps.hs -1 +2 M ./comparison/LIGD/GShow.lhs -19 +15 M ./comparison/LIGD/Reduce.lhs -2 M ./comparison/LIGD/TreeReps.hs -7 +7 M ./comparison/TestGEqGRose.lhs -3
6549
Age (days ago)
6549
Last active (days ago)
0 comments
1 participants
participants (1)
-
Oleg Kiselyov