Repository navigation

A few changes to the analysis of abstract signatures demo - #17

Merged

timholy merged 3 commits into

teh/toward_master_test

Aug 25, 2020

Merged

A few changes to the analysis of abstract signatures demo#17
timholy merged 3 commits into
masterfrom
teh/toward_master_test

Commits on Aug 24, 2020
- Demo: improve naming and docs
  timholy
  committed
  587235b
Commits on Aug 25, 2020
- Generalize get_typed_instances
  timholy
  committed
  b5c63ac
- Finish the demos
  timholy
  committed
  a912d73