What's next

• Integrate support for certificates in the PFE framework
• More work on translation of Haskell and the P logic to theorem provers
• Polish off parts of the tools and release them to the Haskell community
  • Tools often asked for (that we could implement with little effort):
    • Replace layout with explicit braces and semi-colons
    • Transform away the module system
      • (combining many modules into one)
    • Transform away overloading
    • Documentation tools