<div dir="ltr">Hi,<div><br></div><div>Is the current description of Core still System FC_2 (described in <a href="https://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf">https://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf</a>)?</div><div><br></div><div><br></div></div>