ReML type bindings - #207

Merged

melsman merged 12 commits into

reml-type-bindings

Mar 17, 2026

Commits on Feb 26, 2026

Commits on Mar 9, 2026

ReML simplifications and simplification of type functions
melsman
committed

Commits on Mar 10, 2026

fix
melsman
committed

Commits on Mar 11, 2026

fix pretty printing of ReML types
melsman
committed

Commits on Mar 13, 2026

support for printing auxiliary resetting information when creating nullary-constructor values
melsman
committed

Commits on Mar 17, 2026