Bachelor Thesis

• Title: Type- and Sequential Effect-Guided Programming by Example
• Presentation

dependencies

• nix

When developing

Enter nix shell. All commands are supposed to be executed in the nix shell.

nix-shell

before compiling

After creating a svg file in the src/drawio directory, make it pdf.

inkscape -D src/images/synthesis.svg -o src/images/synthesis.pdf

compile

After compiling, you can find the output file at build/main/main.pdf.

tectonic -X build