metaprogrammable-editor
所属分类：Coq
开发工具：TeX
文件大小：0KB
下载次数：0
上传日期：2019-06-28 18:12:05
上 传 者：
sh-1993
说明： Coq.中编辑器端元编程的文档（TeX、幻灯片等）和代码。，
(Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.,)
文件列表:
coq/ (0, 2019-06-28)
coq/Editor.v (4122, 2019-06-28)
elisp/ (0, 2019-06-28)
elisp/editor.el (1979, 2019-06-28)
paper/ (0, 2019-06-28)
paper/ACM-Reference-Format.bst (83503, 2019-06-28)
paper/Makefile (708, 2019-06-28)
paper/acmart.cls (85791, 2019-06-28)
paper/meta18.tex (10385, 2019-06-28)
paper/paper.bib (22306, 2019-06-28)
paper/scheme-workshop.tex (1070, 2019-06-28)
paper/scheme19.tex (10975, 2019-06-28)
paper/source.tex (16252, 2019-06-28)
screencast.gif (629523, 2019-06-28)
slides/ (0, 2019-06-28)
slides/scheme19.key (522511, 2019-06-28)
# 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.
近期下载者：
相关文件：
收藏者：