darcs patch: Add ifdefs around export of :*: and :+: (and 1 more)
28 Jan
2009
28 Jan
'09
5:27 p.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
6435
Age (days ago)
6435
Last active (days ago)
0 comments
1 participants
participants (1)
-
Samuel Bronson