Repository navigation

Closes #8, closes #84 - #207

Merged

sobolevn merged 12 commits into

Jun 11, 2021

Merged

Closes #8, closes #84#207
sobolevn merged 12 commits into
masterfrom
issue-8

Commits on Jun 3, 2021
- Closes #8, closes #84
  sobolevn
  committed
  3b0885c
Commits on Jun 7, 2021
- Closes #209
  sobolevn
  committed
  37c99d8
- Adds type queries for concrete generics and unbound types, closes #210
  sobolevn
  committed
  d431d22
- Fixes flake8
  sobolevn
  committed
  419fe85
- Fixes lots of tests
  sobolevn
  committed
  d821900
- Fixes flake8
  sobolevn
  committed
  6cb21c6
- Fixes codespell
  sobolevn
  committed
  3630728
- Fixes codespell
  sobolevn
  committed
  13c26a9
- Fixes pytest
  sobolevn
  committed
  8bdba4d
- Fixes pytest
  sobolevn
  committed
  44ff3c9
Commits on Jun 10, 2021
- Adds associated types
  sobolevn
  committed
  f39bc37
- Fixes some TODOs
  sobolevn
  committed
  c340487