Types and patterns
==================

I've got a lot more loose thoughts
around patterns and types in my head
right now.

I was trying to sketch out what a
general theory of patterns would be that
ties together Tidal, my work on patterns
in poetry, and knitting all together.

I feel like the next thing I need to do
is just try re-doing my patterns for
poetry project in a dependently typed
language and seeing if there's actual
insights to be found.

I wrote the original in common lisp
which was well-suited to when I had no
idea what I was doing but at this point
I think I need to switch to Agda or
Idris 2 so that I can work on
formalizing a bit.