├── .gitignore ├── .gitmodules ├── .idea ├── .gitignore ├── correct-by-construction.iml ├── misc.xml ├── modules.xml └── vcs.xml ├── README.md ├── codify.js ├── comment-smells.md ├── conclusion.md ├── enums.md ├── images ├── 2048px-Leafcutter_ants.jpg ├── TwtrLadder.png └── bg │ ├── README.md │ ├── chess_230416692_o.jpg │ ├── gray-lake_8440283318_o.jpg │ ├── path-to-my-heart_8489878977_o.jpg │ ├── ripples_230419567_o.jpg │ └── tufa-at-night_7499631506_o.jpg ├── index.html ├── intro.md ├── made-up-transcript.md ├── notes.md ├── raii.md ├── strong-types.md └── submission.md /.gitignore: -------------------------------------------------------------------------------- 1 | *.swp 2 | *~ 3 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/.gitmodules -------------------------------------------------------------------------------- /.idea/.gitignore: -------------------------------------------------------------------------------- 1 | # Default ignored files 2 | /workspace.xml -------------------------------------------------------------------------------- /.idea/correct-by-construction.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/.idea/correct-by-construction.iml -------------------------------------------------------------------------------- /.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/.idea/misc.xml -------------------------------------------------------------------------------- /.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/README.md -------------------------------------------------------------------------------- /codify.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/codify.js -------------------------------------------------------------------------------- /comment-smells.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/comment-smells.md -------------------------------------------------------------------------------- /conclusion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/conclusion.md -------------------------------------------------------------------------------- /enums.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/enums.md -------------------------------------------------------------------------------- /images/2048px-Leafcutter_ants.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/images/2048px-Leafcutter_ants.jpg -------------------------------------------------------------------------------- /images/TwtrLadder.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/images/TwtrLadder.png -------------------------------------------------------------------------------- /images/bg/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/images/bg/README.md -------------------------------------------------------------------------------- /images/bg/chess_230416692_o.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/images/bg/chess_230416692_o.jpg -------------------------------------------------------------------------------- /images/bg/gray-lake_8440283318_o.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/images/bg/gray-lake_8440283318_o.jpg -------------------------------------------------------------------------------- /images/bg/path-to-my-heart_8489878977_o.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/images/bg/path-to-my-heart_8489878977_o.jpg -------------------------------------------------------------------------------- /images/bg/ripples_230419567_o.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/images/bg/ripples_230419567_o.jpg -------------------------------------------------------------------------------- /images/bg/tufa-at-night_7499631506_o.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/images/bg/tufa-at-night_7499631506_o.jpg -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/index.html -------------------------------------------------------------------------------- /intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/intro.md -------------------------------------------------------------------------------- /made-up-transcript.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/made-up-transcript.md -------------------------------------------------------------------------------- /notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/notes.md -------------------------------------------------------------------------------- /raii.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/raii.md -------------------------------------------------------------------------------- /strong-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/strong-types.md -------------------------------------------------------------------------------- /submission.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mattgodbolt/correct-by-construction/HEAD/submission.md --------------------------------------------------------------------------------