Code

EXT gen recursion#87

Code

Draft

ErasedSoul wants to merge 6 commits intomainnammayatri/namma-dsl:mainfrom purs_generation-recursive_logicnammayatri/namma-dsl:purs_generation-recursive_logicCopy head branch name to clipboard

+680-11

Commits

Commits on Jun 23, 2024

• Extraction implementation

  ErasedSoul

  committed
  5bdb816

  Copy full SHA for 5bdb816

Commits on Jun 24, 2024

• Support for many qualified modules with same name

  ErasedSoul

  committed
  e1fdbbd

  Copy full SHA for e1fdbbd

• Deep Analysis prototype working - TODO: Integration

  ErasedSoul

  committed
  2242ad3

  Copy full SHA for 2242ad3

Commits on Jun 25, 2024

• Integration with apis

  ErasedSoul

  committed
  40a8267

  Copy full SHA for 40a8267

Commits on Jun 27, 2024

• WIP : Desuger HS to PS types

  ErasedSoul

  committed
  a677d41

  Copy full SHA for a677d41

• For testing

  ErasedSoul

  committed
  0b5e1f6

  Copy full SHA for 0b5e1f6