Code

Indexed Coinduction#196

Code

Open

Lysxia wants to merge 3 commits intoDeepSpec:masterDeepSpec/InteractionTrees:masterfrom gilhur:indexedgilhur/InteractionTrees:indexedCopy head branch name to clipboard

+1,883-545

Commits

Commits on Oct 4, 2020

• Start the Indexed Coinduction.

  gilhur

  committed
  d933920

  Copy full SHA for d933920

Commits on Oct 5, 2020

• Rename EqStutter to EqNone, OStep to OStutter

  gilhur

  committed
  678f906

  Copy full SHA for 678f906

• Generalize gwfo into a lexicalgraphic order

  gilhur

  committed
  0d853c6

  Copy full SHA for 0d853c6