knupfer/haskell-emacs

use liquid-haskell for enhanced type safety

knupfer opened this issue · 0 comments

knupfer commented
use liquid-haskell for enhanced type safety