Code

Improve the TH module#12

Code

Merged

snejugal merged 6 commits intomastersnejugal/typedKanren:masterfrom th-improvementssnejugal/typedKanren:th-improvementsCopy head branch name to clipboardJul 28, 2024

+610-327

Commits

Commits on Jun 18, 2024

• Rewrite the TH module

  Show description for 15b86b9
  snejugal

  committed
  15b86b9

  Copy full SHA for 15b86b9

Commits on Jun 19, 2024

• Add tests for mutually recursive types

  snejugal

  committed
  fe02642

  Copy full SHA for fe02642

• Account for type operators in logicName

  snejugal

  committed
  35747b2

  Copy full SHA for 35747b2

• Introduce a type alias ExhaustivePrism

  snejugal

  committed
  c16a860

  Copy full SHA for c16a860

• Generate exhaustive prisms

  snejugal

  committed
  dc87c78

  Copy full SHA for dc87c78

Commits on Jul 28, 2024

• Generate proper Logical instances for newtypes

  snejugal

  committed
  5207861

  Copy full SHA for 5207861