# Daniel Mroz

#### Computer Science PhD student, University of Manchester

#### Research Interests: Logic, category theory, (directed) homotopy theory

#### CV ~ Github ~ Flickr

#### Email: me (at) danielmroz.co.uk

#### or, daniel.mroz (at) manchester.ac.uk

## About

After studying Maths and Computer Science at Oxford, I'm now a PhD student at Manchester. I'm a big fan of functional programming, especially in Haskell, because it makes it possible to write very high-level, elegant and understandable programs, and easily reason about the correctness of programs.

## Notes

Short notes I've written up on various subjects.

## Posts

#### Categorical semantics of dependent types

—An introduction for undergraduates

#### Type level Haskell: FizzBuzz

—Some fun with Haskell's type system

#### Scraping Facebook posts with Haskell

—An exploration of the Oxfeud.it backend

#### A lambda-term that finds beta-normal forms

—Compiling to the lambda calculus

#### LamE

—A small functional language