diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/projects.html.erb | 4 | ||||
| -rw-r--r-- | src/thesis-slides.pdf | bin | 0 -> 256122 bytes | |||
| -rw-r--r-- | src/thesis.pdf | bin | 0 -> 350574 bytes |
3 files changed, 4 insertions, 0 deletions
diff --git a/src/projects.html.erb b/src/projects.html.erb index f7166bf..ba31ad5 100644 --- a/src/projects.html.erb +++ b/src/projects.html.erb @@ -19,6 +19,10 @@ additional code can be found on my <a href='https://github.com/m-chrzan'>GitHub used Jekyll, but I wanted to play around and build something minimal for personal use. I'm not a webdev. </li> + <li><a href='<%= path_to 'thesis' %>'>MSO Query Answering on Trees</a>: my + master's thesis. + <a href='<%= git 'mgr' %>'>[source]</a> + <a href='<%= path_to 'thesis-slides' %>'>[slides]</a> <li><a href='<%= git 'dicebag' %>'>Dicebag</a>: a dice expression parser and roller. </li> diff --git a/src/thesis-slides.pdf b/src/thesis-slides.pdf Binary files differnew file mode 100644 index 0000000..798c21a --- /dev/null +++ b/src/thesis-slides.pdf diff --git a/src/thesis.pdf b/src/thesis.pdf Binary files differnew file mode 100644 index 0000000..f707b9e --- /dev/null +++ b/src/thesis.pdf |