the plutus repo has not been updated since July 2017:
Is there any more information about the advancement of it ?
I would be glad to have more informations about Simon too.
Best regards from France and congratulations for this great work!
@cyberglot, you should step in and send some pull requests.
I’ve seen some papers by Darryl McAdams on IOHK website (eg Research papers - IOHK Research). So I guess something should be out soon?
Hey, thanks. I will, but I’m waiting to see if they’re implementing the new spec or what’s going to happen next.