GitHub repository: theRealMkrolak/AgdaFinalProject
Primary language: Agda
Description: Final Project for some class in college