categorical-translation

Categorical translation

Things to do

Next on my list

Theory

Implementation

Things to read

Translation resources