Code

Dictionary syntax#3356

Code

Draft

andrevidela wants to merge 2 commits intoidris-lang:mainidris-lang/Idris2:mainfrom andrevidela:dictionary-syntaxandrevidela/Idris2:dictionary-syntaxCopy head branch name to clipboard

+161-2

Commits

Commits on Jul 19, 2024

• Add support for dictionary syntax sugar

  andrevidela

  committed
  8adcfad

  Copy full SHA for 8adcfad

Commits on Jul 26, 2024

• add tests for JSON DSL

  andrevidela

  committed
  f33cdc6

  Copy full SHA for f33cdc6