Brendan Zabarauskas on Twitter: "@plt_abbie Simply build your type theory using a graph, not an ordered list! Easy." / Twitter