diff options
Diffstat (limited to 'src/projects.html.erb')
| -rw-r--r-- | src/projects.html.erb | 4 |
1 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> |