metaprogrammable-editor. Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.

github.com/joom/metaprogrammable-editor

Problem

Audience

Updates

No founder updates yet. Check back soon.