darcs patch: Add ifdefs around export of :*: and :+: (and 1 more)
29 Jan
2009
29 Jan
'09
1:27 a.m.
Tue Jan 27 19:04:06 EST 2009 Samuel Bronson <naesten@gmail.com> * Add ifdefs around export of :*: and :+: Tue Jan 27 19:04:27 EST 2009 Samuel Bronson <naesten@gmail.com> * Add explicit foralls to GenericT' and GenericM' to allow LHC to parse them
6385
Age (days ago)
6385
Last active (days ago)
0 comments
1 participants
participants (1)
-
Samuel Bronson