Code

compiles using the purity branch#17

Code

Open

garrigue wants to merge 3 commits intoDrup:masterDrup/furl:masterfrom garrigue:puritygarrigue/furl:purityCopy head branch name to clipboard

Commits

Commits on Nov 8, 2019

• compiles using the purity branch

  garrigue

  committed
  de4e85f

  Copy full SHA for de4e85f

• use [@@@pure]

  garrigue

  committed
  344e04e

  Copy full SHA for 344e04e

Commits on Jan 22, 2020

• add annotations on polymorphic recursion

  garrigue

  committed
  ce8e53e

  Copy full SHA for ce8e53e