Files
sbt/util
Mark Harrah 09efe98f8b KList updates
- exchange variance annotations on KList for a bounded existential
   in KList.toList
 - add foldr (reason for dropping variance annotations)
 - add functions stating equivalence between
   + KList[M,H :+: T] and KCons[H,T,M]
   + KList[M,HNil] and KNil
2011-01-28 21:07:29 -05:00
..
2010-09-27 18:57:00 -04:00
2011-01-28 21:07:29 -05:00
2010-09-27 18:50:17 -04:00