ISyntaxUtil: give the handwritten List cons struct its true SDataCon sort#1052
Open
nanavati wants to merge 1 commit into
Open
ISyntaxUtil: give the handwritten List cons struct its true SDataCon sort#1052nanavati wants to merge 1 commit into
nanavati wants to merge 1 commit into
