Reviews
A library for formalizing Haskell types and functions in Coq
Search similar apps
License
BSD 3-Clause "New" or "Revised" License
Related apps
periods
Common Lisp library for manipulating date/time objects at a higher level
Common Lisp30
last year
git-undo-el
A command for Emacs to regress or "undo" a region back through its Git history
Emacs Lisp91
2 years ago
use-package
A use-package declaration for simplifying your .emacs
Emacs Lisp4409gpl-3.0
9 months ago
autoloaddeferred-loadingemacs