Skip to content
  • Robbert Krebbers's avatar
    Refactor. · 0bc616f0
    Robbert Krebbers authored
    Kinded subtyping, better file structure, more setoid stuff, reorganize imports.
    0bc616f0