Code

Box and cap tactics#467

Code

Merged

favonia merged 5 commits intomasterRedPRL/redtt:masterfrom box-tacticRedPRL/redtt:box-tacticCopy head branch name to clipboardNov 21, 2018

+131-17

Commits

Commits on Nov 20, 2018

• Add the box and cap tactics.

  favonia

  committed
  333c453

  Copy full SHA for 333c453

• Fill in ML.pp more.

  favonia

  committed
  a260629

  Copy full SHA for a260629

• Fix other files in the library.

  favonia

  committed
  2dfc763

  Copy full SHA for 2dfc763

• Tweaks to the pretty printing of the extension types.

  favonia

  committed
  f1c6d28

  Copy full SHA for f1c6d28

• Fix a very ??? bug.

  favonia

  committed
  4776fa9

  Copy full SHA for 4776fa9