Skip to content

Add Agda to languages.yaml#1216

Merged
o2sh merged 2 commits intoo2sh:mainfrom
Zoltan-Balazs:main
Nov 27, 2023
Merged

Add Agda to languages.yaml#1216
o2sh merged 2 commits intoo2sh:mainfrom
Zoltan-Balazs:main

Commits

Commits on Nov 20, 2023

Commits on Nov 27, 2023