1. 23 Jan, 2020 1 commit
    • Dmitry Khalanskiy's avatar
      Add a stronger version of `list_core_id`. · d6dbed9e
      Dmitry Khalanskiy authored
      A new lemma, `list_core_id'`, allows to infer that a list is
      `CoreId` by only checking that all its elements are `CoreId`, as
      opposed to the existing instance, `list_core_id`, that only works
      when the list contains elements of the type where every element is
      `CoreId`.
      d6dbed9e
  2. 18 Jan, 2020 3 commits
  3. 17 Jan, 2020 9 commits
  4. 16 Jan, 2020 3 commits
  5. 15 Jan, 2020 4 commits
  6. 14 Jan, 2020 2 commits
  7. 13 Jan, 2020 11 commits
  8. 11 Jan, 2020 1 commit
  9. 10 Jan, 2020 3 commits
  10. 09 Jan, 2020 3 commits