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