]>
author | Francesco Mazzoli <f@mazzo.li> | |
Wed, 26 Jun 2013 23:02:00 +0000 (00:02 +0100) | ||
committer | Francesco Mazzoli <f@mazzo.li> | |
Wed, 26 Jun 2013 23:02:00 +0000 (00:02 +0100) | ||
commit | df78daffd508f40f39777d37db16562007b2ed12 | |
tree | 714732476db01000ee6dc0e12a8f4fd738af704f | tree | snapshot |
parent | e319c3d9b3de84af2608cfbee8a3a7cbdba19615 | commit | diff |
final.lagda | diff | blob | history | |
presentation.tex | diff | blob | history |