generated from seanpm2001/Git-Template_V8
-
-
Notifications
You must be signed in to change notification settings - Fork 1
/
PROJECT_LANG_1.dfy
26 lines (20 loc) · 1.47 KB
/
PROJECT_LANG_1.dfy
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
// Start of script
// I have very little experience with the Dafny programming language. I am making this attempt off a very limited data set. It is likely to not be functional, I just didn't want to do an all comments project language file this time.
title := string "Project language file 1";
subtitle := string "For: seanpm2001/Learn-Dafny";
about := string "About:";
description := string "I decided to make Dafny the main project language file for this project (Seanpm2001/Learn-Dafny) as Dafny is the language this project is dedicated to, because this project is about learning the Dafny programming language. It only makes sense to Dafny the official language for this project. It is getting its own project language file, starting here.";
assert title.string{this};
assert subtitle.string{this};
assert about.string{this};
assert description.string{this};
// Desired output:
// Project language file 1
// For: seanpm2001/Learn-Dafny
// About:
// I decided to make Dafny the main project language file for this project (Seanpm2001/Learn-Dafny) as Dafny is the language this project is dedicated to, because this project is about learning the Dafny programming language. It only makes sense to Dafny the official language for this project. It is getting its own project language file, starting here.
// File info
// File type: Dafny source file (*.dfy)
// File version: 1 (2022, Tuesday, September 13th at 5:14 pm PST)
// Line count (including blank lines and compiler line): 27
// End of script