yanok/emacs-literal-config
My emacs configuration as literal code using org-mode's org-babel
Public repository discovered through GitHub real-time crawl.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
My emacs configuration as literal code using org-mode's org-babel
Python Lex-Yacc
miscellaneous stuff related to TinyAgda
A minimal kick start init file for emacs