Folder Path
/
msc
/
thesis
/
repo-archive
/
slides
/
thesis-defense
/
3
directories
13
files
467 KiB
total
List
Grid
Name
Size
Modified
Up
agda/
—
11/14/2016 11:07:43 PM +00:00
imgs/
—
11/14/2016 11:07:44 PM +00:00
patches/
—
11/14/2016 11:07:44 PM +00:00
.gitignore
99 B
11/14/2016 11:07:43 PM +00:00
main.pdf
414 KiB
11/14/2016 11:07:43 PM +00:00
main.tex
4.0 KiB
11/14/2016 11:07:43 PM +00:00
Makefile
1.2 KiB
11/14/2016 11:07:43 PM +00:00
notes.md
558 B
11/14/2016 11:07:43 PM +00:00
references.bib
26 KiB
11/14/2016 11:07:43 PM +00:00
section-dtp-agda.md
4.0 KiB
11/14/2016 11:07:43 PM +00:00
section-final.md
1.5 KiB
11/14/2016 11:07:43 PM +00:00
section-intro-background.md
2.9 KiB
11/14/2016 11:07:43 PM +00:00
section-piware-proofs.md
2.9 KiB
11/14/2016 11:07:43 PM +00:00
section-piware-semantics.md
4.3 KiB
11/14/2016 11:07:43 PM +00:00
section-piware-syntax.md
4.1 KiB
11/14/2016 11:07:43 PM +00:00
sketch.txt
1.1 KiB
11/14/2016 11:07:43 PM +00:00