https://github.com/joom/metaprogrammable-editor

Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.
https://github.com/joom/metaprogrammable-editor

Last synced: over 1 year ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/joom/metaprogrammable-editor
• Owner: joom
• Created: 2018-06-09T23:37:26.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2019-06-28T18:12:05.000Z (about 7 years ago)
• Last Synced: 2025-01-11T05:18:24.040Z (over 1 year ago)
• Language: TeX
• Homepage:
• Size: 854 KB
• Stars: 7
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# metaprogrammable-editor

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

This provides a simple mechanism to write Emacs editor macros in Coq, using the monadic embedded domain-specific language. We can then run them in Emacs, using the interpreter written in Emacs Lisp.

![Screencast](https://raw.githubusercontent.com/joom/metaprogrammable-editor/master/screencast.gif)