Archived tweet #11171 from the @leastfixedpoint Twitter Archive

@jasoncrawford @rsnous Perhaps. I find myself often thinking in terms of resources I have and resources I want: that is, in terms of arrow types. It'd be cool to have an IDE that supported reasoning from resources to goals (forward) or goals to resources (backward), or operations to resources/goals etc