bakseter/thesis

My master thesis (and related code) in Logic at the University of Bergen.

Haskell