Code

Add implicit statement#28

Code

Open

let-def wants to merge 3 commits intomodular-implicitsocamllabs/ocaml-modular-implicits:modular-implicitsfrom modular-implicits-statementocamllabs/ocaml-modular-implicits:modular-implicits-statementCopy head branch name to clipboard

+283-54

Commits

Commits on Dec 12, 2014

• Remove test results from git

  let-def

  committed
  a8659f0

  Copy full SHA for a8659f0

• Introduce "implicit Path" construction

  let-def

  committed
  3cfd9b3

  Copy full SHA for 3cfd9b3

• Add implicit statements in surface language

  let-def

  committed
  de76fe8

  Copy full SHA for de76fe8