This repository contains all the code for my Bachelor Thesis and the final version of the thesis itself.

Haskell-C++ Foreign Function Interface Generator

Agda is a dependently typed programming language / interactive theorem prover.