upvote
Aren’t executable specs not code?
reply