-- Start of script
module project-language-file-one where

open import IO

main = run (putStrLn "Project language file 1\nFor: seanpm2001/Learn-Agda\nAbout:\nI chose Agda as the first project language file for this project (Seanpm2001/Learn-Agda) as this project is about learning the Agda programming language, and showing my knowledge for the language. Its project language file should represent what language is being showcased and studied here.")

-- Output
-- Project language file 1
-- For: seanpm2001/Learn-Agda
-- About:
-- I chose Agda as the first project language file for this project (Seanpm2001/Learn-Agda) as this project is about learning the Agda programming language, and showing my knowledge for the language. Its project language file should represent what language is being showcased and studied here.

{- File info
File type: Agda source file (*.agda)
File version: 1 (2022, Friday, April 15th at 9:11 pm PST)
Line count (including blank lines and compiler line): 20
-}
-- End of script
