/lograc-project-2022-stop-logic

Skeleton project repository for the Logika v računalništvu course

Primary LanguageAgda

No issues in this repository yet.