Back to milestones

1.12.0

Closed

Due by August 31, 2020

•Closed Nov 4, 2020

hopefully contain the API changes needed for the ppx, in particular the unification of Conversion.t and ContextualConversion.t

0% complete

Select all issues: List view

API: cleanup contextual type of conversions

LPCIC/elpi

#62

· gares opened

on Apr 26, 2020

Elpi ppx

LPCIC/elpi

#63

· gares opened

on Apr 26, 2020