This is the author's DPhil dissertation. The code base is also hosted at GitHub.
A modified version of lhs2TeX is required for preprocessing the LaTeX files.
josh-hs-ko/dissertation
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is the author's DPhil dissertation. The code base is also hosted at GitHub.
A modified version of lhs2TeX is required for preprocessing the LaTeX files.