Skeleton repository for the Logika v računalništvu student projects

This repository is set up as an Agda library and it contains:

• lograc-project.agda-lib: the library configuration file which contains the list of file system paths that Agda should include

• agda-stdlib/: Agda standard library as a git submodule

• agda-categories/: Agda categories library as a git submodule

• project/: the top-level source code directory for your Agda code