git.enpas.org Git - bitonic-mengthesis.git/tree - docs/

projects / bitonic-mengthesis.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[bitonic-mengthesis.git] / docs /

drwxr-xr-x		..
-rw-r--r--	485	Makefile	blob \| history \| raw
-rw-r--r--	3159	background-notes.org	blob \| history \| raw
-rw-r--r--	4180	background.agda	blob \| history \| raw
-rw-r--r--	10843	background.bib	blob \| history \| raw
-rw-r--r--	57088	background.tex	blob \| history \| raw
-rw-r--r--	5925	idris-proposal.tex	blob \| history \| raw