1. Dec 15, 2021
    • Jack Koenig's avatar
      Turn RenameMap into a trait and add MutableRenameMap · d5ba5d24
      Jack Koenig authored
      The mutability of the RenameMap API has long been a wart. It also has
      made it impossible to provide alternative implementations that do not
      have a underlying map. By changing RenameMap to a [sealed] trait, it
      will become possible to provide optimized implementations for different
      purposes.
      d5ba5d24
  2. Dec 14, 2021
  3. Dec 05, 2021
  4. Dec 02, 2021
  5. Nov 30, 2021
  6. Nov 24, 2021
  7. Nov 23, 2021
  8. Nov 20, 2021
  9. Nov 13, 2021
  10. Nov 11, 2021