patch applied (generics): grose equality not implemented in GL
1 Jun
2007
1 Jun
'07
12:20 a.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
6986
Age (days ago)
6986
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev