Reviews
A use-package declaration for simplifying your .emacs
Search similar apps
License
GNU General Public License v3.0
A use-package declaration for simplifying your .emacs
Creator
Related apps
periods
Common Lisp library for manipulating date/time objects at a higher level
Common Lisp29
6 months ago
category-theory
An axiom-free formalization of category theory in Coq for personal study and pra
Coq716bsd-3-clause
6 months ago
cartesiancartesian-closed-categorycategories
coq-haskell
A library for formalizing Haskell types and functions in Coq
Coq161bsd-3-clause
7 months ago
git-undo-el
A command for Emacs to regress or "undo" a region back through its Git history
Emacs Lisp91
2 years ago