PROJECT_LANG_1.agda

{-# OPTIONS --guardedness #-}

module Main where

"Project language file 1"
"For: SNU/2D/ProgrammingTools/IDE/Agda"
"About:"
"I chose Agda as the first project language for this project (SNU/2D/ProgrammingTools/IDE/Agda) as this is a Agda IDE, and should be represented with the Agda programming language."

"File info"
"File type: Agda source file (*.agda)"
"File version: 1 (2022 Tuesday, February 8th at 2:48 pm)"
"Line count (Including blank lines and compiler line): 14