GitHub repository: ucsd-progsys/flycheck-liquidhs.el
Primary language: Emacs Lisp
Description: Flycheck checker for LiquidHaskell