In the last Theory Lunch session I talked about a category theoretic approach to finite trees. Continue reading

# Finite trees as initial algebra

1

1

In the last Theory Lunch session I talked about a category theoretic approach to finite trees. Continue reading

I talked about the `Constraint`

kind, a recent addition to Haskell. There is a write-up of my talk on my personal blog.