just writing it out is so much easier and I can see what I'm doing

Show thread

he has it all written out nicely like this. I would hate it tbh

Show thread

You know what? It's not so bad when you only have one parameter and index

I am once again exploring options for representing sequences but have run into a little problem

There's a ton of past work but you know what? I think about summarizes the important bits and the important references
("this" is what I'm working on)

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.