Constrained Zig

For the talk I gave at Zigtoberfest 2024, I coded up a CHR embedding for Zig using the FreeCHR framework. This repo contains the slides for the talk. If you're more interested in the embedding, check it out here.

Build it

1. You need to clone using the --recursive switch
2. Just call latexmk on the talk.tex file

If you don't want to build the slides yourself, you can also download them here or here.