patch applied (generics): grose equality not implemented in GL
31 May
2007
31 May
'07
4:20 p.m.
Thu May 31 08:26:52 PDT 2007 Alexey Rodriguez <alexey@cs.uu.nl> * grose equality not implemented in GL M ./comparison/GL/GEq.lhs -1 +4
7031
Age (days ago)
7031
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev