Welcome to my thesis repository.
The pdf for my main report can be found at latex/main.pdf.
My haskell code can be found in hs/libfusion.
- You can run the code in list.lhs by executing
cabal runfrom withinhs/libfusion. - You can run the code in leaf_trees.lhs by modifying line 62 of libfusion.cabal to point to leaf_trees.lhs and then execution
cabal runfrom withinhs/libfusion.
The Agda formalization can be found in agda/
- You can compile all of the code by compiling
agda/core.agda
All of my notes and some of the pdfs I reference can be found in hs/
Happy reading :)