/liquidhaskell-blog

LiquidHaskell blog

Primary LanguageJavaScriptMIT LicenseMIT

LiquidHaskell Blog

LiquidHaskell is a static verifier for Haskell, based on Liquid Types

See about for more details.

Build

To add a new post:

  1. Write a .lhs file with the name YEAR-MONTH-DAY-TITLE.lhs e.g. see this example

  2. Generate the .markdown file.

  3. Copy the .markdown file in posts/

  4. Rebuild and upload.

Here are the four steps:

cd blogpost/
cat > YEAR-MONTH-DAY-TITLE.lhs
stack exec -- liquid YEAR-MONTH-DAY-TITLE.lhs
cp blogpost/.liquid/YEAR-MONTH-DAY.lhs.markdown /path/to/liquidhaskell-blog/posts/
make upload

TODO

  • DONE?: Disqus (?)
  • DONE: Tags