Code

Add Agda to languages.yaml#1216

Code

Merged

o2sh merged 2 commits intoo2sh:maino2sh/onefetch:mainfrom Zoltan-Balazs:mainZoltan-Balazs/onefetch:mainCopy head branch name to clipboardNov 27, 2023

+17

Commits

Commits on Nov 20, 2023

• Added Agda to languages.yaml

  Zoltan-Balazs

  committed
  3b0da94

  Copy full SHA for 3b0da94

Commits on Nov 27, 2023

• Updated Agda logo

  Zoltan-Balazs

  authored
  76d663b

  Copy full SHA for 76d663b