Work on the prototype typer (!915) · Merge requests · ligolang / LIGO

Suzanne Soy requested to merge prototype-typer into dev Dec 12, 2020

Addded pretty-printers to the API of indexer plug-ins; added test for addition of constraints and merging of type variables for the by_constraint_identifier indexer and other indexers.

Closes #1070 (closed).

Edited Jan 27, 2021 by Pierre-Emmanuel Wulfman

Work on the prototype typer

Merge request reports