<div dir="ltr"><div>Hi Simplicity Mailing list,</div><div><br></div><div>I was having coffee with a former professor of mine who is a PL researcher and talked to him about Simplicity. This lead to many questions I have about the state of the project</div><div><br></div><div>1. How "final" is Simplicity's language design? Is there still unanswered questions?</div><div>2. Is the Coq code up to date with Simplicity's haskell implementation?</div><div>3. Is the Agda library published any where?<br></div><div>4. What projects would be good for a grad student to work on related to Simplicity?</div><div>5. What are the current hurdles (excluding political) that keep Simplicity from being adopted</div><div><br></div><div><br></div><div>In short, what is the best way researchers can help out, and what is the best way average developers can help out. </div><div><br></div><div>-Chris<br></div></div>