GitHub - qfpl/propagators-bfpg: Propagator talk by George Wilson (2017-11-14)

qfpl / propagators-bfpg Public

Propagator talk by George Wilson (2017-11-14)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
diagrams		diagrams
.gitignore		.gitignore
Makefile		Makefile
abstract.txt		abstract.txt
bidirectional.tex		bidirectional.tex
buildloop		buildloop
celsius.tex		celsius.tex
circuit.pdf		circuit.pdf
circuit.pdf_tex		circuit.pdf_tex
circuit.svg		circuit.svg
coloured-map.jpg		coloured-map.jpg
coloured-map.pdf		coloured-map.pdf
coloured-map.pdf_tex		coloured-map.pdf_tex
coloured-map.svg		coloured-map.svg
contradiction.tex		contradiction.tex
data61.eps		data61.eps
for-what-purpose.jpg		for-what-purpose.jpg
haskell.png		haskell.png
interval.tex		interval.tex
nonlattices.tex		nonlattices.tex
screen.tex		screen.tex
semantics.tex		semantics.tex
set.tex		set.tex
slides.pdf		slides.pdf
slides.tex		slides.tex
sudoku.tex		sudoku.tex
tms.tex		tms.tex
what-are-birds.jpg		what-are-birds.jpg