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