Code

Ocaml elpi#64

Code

Draft

gares wants to merge 6 commits intomasterLPCIC/elpi:masterfrom ocaml-elpiLPCIC/elpi:ocaml-elpiCopy head branch name to clipboard

+13,005-1,902

Commits

Commits on Apr 10, 2020

• nicer error messages in compiler

  gares

  committed
  10d43dc

  Copy full SHA for 10d43dc

Commits on Apr 26, 2020

• API: only one conversion type indexed by a context object

  gares

  committed
  e0efada

  Copy full SHA for e0efada

• enter elpi.ppx

  gares

  committed
  cccf163

  Copy full SHA for cccf163

• ppx

  gares

  committed
  db5bb47

  Copy full SHA for db5bb47

• wip

  gares

  committed
  88c97d1

  Copy full SHA for 88c97d1

• enter ocaml-elpi

  gares

  committed
  43282d0

  Copy full SHA for 43282d0