Code

Remove the Typed module#1258

Code

Merged

Halbaroth merged 2 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:compile-match-dolmenHalbaroth/alt-ergo:compile-match-dolmenCopy head branch name to clipboardNov 12, 2024

+132-840

Commits

Commits on Oct 28, 2024

• Remove the Typed module

  Halbaroth

  committed
  1dd136c

Commits on Nov 12, 2024

• Review changes

  Halbaroth

  committed
  784b4a9