{"shas":[["8316943df5413a27b520732dcb3715b176d42fcc","504b92c9f7598387ffbfc8aec5604cc716daef22@ncsu.edu","Add initial logic to record the integer indices for leaf nodes.","Benjamin Redelings"],["605643c5b956975ecd8eb20306e65e2328c5fa61","504b92c9f7598387ffbfc8aec5604cc716daef22@ncsu.edu","Add an initial function to condense launchbury_normalize-d expressions.","Benjamin Redelings"],["a721c3671dd6d335634e7d0f018690473791c26c","504b92c9f7598387ffbfc8aec5604cc716daef22@ncsu.edu","Fix alpha-renaming when a level binds multiple variables.","Benjamin Redelings"]],"ref":"refs/heads/master","size":3,"head":"a721c3671dd6d335634e7d0f018690473791c26c","push_id":37940212}