coq-haskell

A library for formalizing Haskell types and functions in Coq

Search similar apps

    License

    BSD 3-Clause "New" or "Revised" License

    A library for formalizing Haskell types and functions in Coq

    Creator

    jwiegley

    Related apps

    alert

    A Growl-like alerts notifier for Emacs

    Emacs Lisp443other

    5 months ago

    periods

    Common Lisp library for manipulating date/time objects at a higher level

    Common Lisp30

    last year

    emacs-async

    Simple library for asynchronous processing in Emacs

    Emacs Lisp837gpl-3.0

    2 months ago

    git-undo-el

    A command for Emacs to regress or "undo" a region back through its Git history

    Emacs Lisp92

    2 years ago

    use-package

    A use-package declaration for simplifying your .emacs

    Emacs Lisp4411gpl-3.0

    10 months ago

    autoloaddeferred-loadingemacs