GitHub repository: samotorcanleon/lograc-project-2022
Primary language: Agda
Description: Skeleton project repository for the Logika v računalništvu course