Skip to content

Generalize StrictT(M)Var invariant#1040

Merged
iohk-bors[bot] merged 1 commit intomasterfrom edsko/generalize-tvar-invariantSep 20, 2019

Commits

Commits on Sep 18, 2019