patch applied (generics): GMap SYB1_2 clarified that gmap cannot be defined
15 Feb
2008
15 Feb
'08
9:57 a.m.
Fri Feb 15 02:50:15 PST 2008 patrikj@chalmers.se * GMap SYB1_2 clarified that gmap cannot be defined M ./comparison/SYB1_2/GMap.lhs -4 +4
6310
Age (days ago)
6310
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev