Kyle: Incremental Text Editor
This project will consist of implementing a text editor based on Adapton in rust. It will be based on a rewrite of the Adapton library presented in Incremental Computation with Names. It will use the open source piston graphics library for rust.
The starting point for refining this project is the version of the editor written in ocaml in the paper Correct-by-construction interactive Software. The proposed project will complete the ocaml spec and provide new features. These features are to-be-decided.