GitHub repository: klaus-moser/Methods_of_SoftwareEngineering
Primary language: Agda
Created: 2021-05-12T12:49:12Z
Description: A repo to practice Agda for university.