]>
author | Francesco Mazzoli <f@mazzo.li> | |
Tue, 15 Jan 2013 15:26:37 +0000 (15:26 +0000) | ||
committer | Francesco Mazzoli <f@mazzo.li> | |
Tue, 15 Jan 2013 15:26:37 +0000 (15:26 +0000) | ||
commit | 30ed12635896ab8acbd2115802ab5c5f583a2a59 | |
tree | ba47d53ad20cae2dbdceaafe60c7e50f8b69cb4f | tree | snapshot |
parent | 2e0a8c0e91f79984bc988bdb98678ee3c3b213e6 | commit | diff |
docs/Makefile | diff | blob | history | |
docs/background.agda | [new file with mode: 0644] | blob |
docs/background.bib | diff | blob | history | |
docs/background.tex | diff | blob | history |