REPLica: REPL instrumentation for Coq analysis
(2020) : Ringer, Talia et al
DOI: https://doi.org/10.1145/3372885.3373823
#coq #study_methodology #REPL #user_interface #proof_engineering #instrumentation #my_bibtex
#coq #study_methodology #repl #user_interface #proof_engineering #instrumentation #my_bibtex
We are working on a blender Addon, I had to learn PyQt.
PyQt is powerful AF.
Easy to use.
Flexible.
So many learning resources.
Cross platform.
Mamamia.
#pyqt #blender #ui #user_interface
#pyqt #blender #ui #user_interface
TeXmacs is scriptable in Scheme (as any software should be). You can manipulate documents and insert arbitrary content, define menus and widgets, modify behaviours. @guilelang #scheme #lisp #scripting #graphics #typesetting #user_interface
#user_interface #typesetting #graphics #scripting #lisp #scheme