Project ideas (Summer 2019) - FStarLang/FStar GitHub Wiki

  • Low* lenses and separation logic

  • Effect hiding: Local state, extrinsic proofs of divergence, exception handlers ...

  • Modules and sections

  • Finish miTLS

  • Effect polymorphism

  • Intersection types