This repository was archived by the owner on Dec 14, 2025. It is now read-only.

This repository was archived by the owner on Dec 14, 2025. It is now read-only.

--ide support #15

Open

opened

on Apr 19, 2017

I've documented the new protocol at https://github.com/FStarLang/FStar/wiki/Editor-support-for-F* , and added notes at the end about porting. It should be relatively easy: the new protocol is mostly just JSON syntax and a bunch of new opt-in features.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests