incremental-dfsts - [no description]

Mode	Name	Size
-rw-r--r--	.gitignore	177	log plain
-rw-r--r--	abstract.tex	954	log plain
-rw-r--r--	conclusion.tex	1586	log plain
-rw-r--r--	cover.tex	444	log plain
d---------	edit-lens	212	log plain
d---------	gup	135	log plain
-rw-r--r--	implementation.tex	5964	log plain
d---------	interactive-edit-lens	181	log plain
-rw-r--r--	intro.tex	9792	log plain
-rwxr-xr-x	json-demo.sh	76	log plain
-rw-r--r--	literature.md	5539	log plain
-rw-r--r--	literature.meta.yml	73	log plain
-rw-r--r--	literature.meta.yml.gup	137	log plain
d---------	literature	2789	log plain
-rw-r--r--	org.tex	501	log plain
-rw-r--r--	presentation.deps	80	log plain
-rw-r--r--	presentation.meta.yml	1008	log plain
-rw-r--r--	presentation.tex	12175	log plain
d---------	presentation	122	log plain
-rw-r--r--	screenshot.png	262876	log plain
-rw-r--r--	sigillum.pdf	69369	log plain
-rw-r--r--	sigillum.pdf_tex	2056	log plain
-rw-r--r--	sigillum.svg	100499	log plain
-rw-r--r--	stack.nix	197	log plain
-rw-r--r--	stack.yaml	396	log plain
-rw-r--r--	template.tex	12077	log plain
-rwxr-xr-x	terminal.sh	136	log plain
-rw-r--r--	thesis.args	23	log plain
-rw-r--r--	thesis.deps	139	log plain
-rw-r--r--	thesis.meta.yml.gup	710	log plain
-rwxr-xr-x	thesis.pdf.gup	357	log plain
-rw-r--r--	thesis.tex	1162	log plain
-rw-r--r--	title.tex	745	log plain
-rw-r--r--	topic.md	946	log plain
d---------	usb	161	log plain