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

Advertisements

1

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

Advertisements

I talked about the `Constraint`

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