GitHub repository: stefan-hoeck/git-demo
Primary language: Idris
Created: 2023-10-30T14:19:52Z
Description: My amazing Git demo