# Notes on Compilation

Miscellaneous notes about compiling Dafny code:

```{toctree}
:maxdepth: 1

Go
StringsAndChars
ReferenceTypes
AutoInitialization
Boogie
```