GitHub repository: timheterjag/DV_Resurser
Primary language: Agda
Description: Repo för delade filer för kurser på Datavetenskapligt Kandidatprogram på Göteborg Universitet