# Welcome

This is my personal site!

You can read more about what I do.

Here is the Y combinator, it allows arbitrary recursion in the lambda calculus. Here expressed in Scheme syntax:

```
(define Y
(lambda (h)
((lambda (x) (x x))
(lambda (g)
(h (lambda args (apply (g g) args)))))))
```