2019-06-13 polar
Polar is a structure editor I worked on while studying with Cyrus Omar. It was an exploration of a hole-aware structure editor for an untyped lambda calculus. The keyboard actions directly edit the AST, but are designed to feel like editing text.