https://github.com/themattchan/flycheck-liquidhs.el

Flycheck checker for LiquidHaskell
https://github.com/themattchan/flycheck-liquidhs.el

Last synced: 4 days ago
JSON representation

Flycheck checker for LiquidHaskell

• Host: GitHub
• URL: https://github.com/themattchan/flycheck-liquidhs.el
• Owner: themattchan
• Created: 2015-06-19T02:09:24.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-04-12T23:27:58.000Z (almost 8 years ago)
• Last Synced: 2024-11-30T13:32:54.568Z (2 months ago)
• Language: Emacs Lisp
• Size: 5.86 KB
• Stars: 5
• Watchers: 4
• Forks: 5
• Open Issues: 4
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# flycheck-liquidhs.el

[LiquidHaskell](https://github.com/ucsd-progsys/liquidhaskell) Flycheck

integegration.

*Now uses `stack` by default* (to change the default behavior, change the

`flycheck-haskell-liquid-executable` variable through `M-x customize`).

## Usage

To enable, add this to your `init.el`

```

(require 'flycheck-liquidhs)

(add-hook 'haskell-mode-hook

          '(lambda () (flycheck-select-checker 'haskell-liquid)))

(add-hook 'literate-haskell-mode-hook

          '(lambda () (flycheck-select-checker 'haskell-liquid)))

```