(no subject)

Took a break from beating my head against agda and took another iteration on the ancient recurring-every-couple-years project of "hey maybe I should learn Blender". It's still no sketchup, but the interface is making a little more sense than last time I tried.