report type checking wip
authorpimjager <pim@pimjager.nl>
Thu, 9 Jun 2016 16:40:23 +0000 (18:40 +0200)
committerpimjager <pim@pimjager.nl>
Thu, 9 Jun 2016 16:40:23 +0000 (18:40 +0200)
commit5fe60b5b3e57f0ef8ca2da5da5fd6c8c10eef9fe
treeff589e8960611c7f2d5255d75abb958cfdbbde59
parentb98314cdc0420c72f2521f3c084ecccc574cf74d
report type checking wip
deliverables/report/proof.sty [new file with mode: 0644]
deliverables/report/report.tex
deliverables/report/sem.tex