Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 646 Bytes

README.md

File metadata and controls

11 lines (8 loc) · 646 Bytes

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.