Reviews
A command for Emacs to regress or "undo" a region back through its Git history
Search similar apps
License
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
use-package
A use-package declaration for simplifying your .emacs
Emacs Lisp4369gpl-3.0
3 months ago
autoloaddeferred-loadingemacs