Code

make state universe polymorphic.#50

Code

Closed

gmalecha wants to merge 1 commit intomastercoq-community/coq-ext-lib:masterfrom state-universe-polymorphiccoq-community/coq-ext-lib:state-universe-polymorphicCopy head branch name to clipboard

+13-14

Commits

Commits on Nov 13, 2018

• make state universe polymorphic.

  gmalecha

  committed
  a2c37cf