LiquidHaskell Blog

Note: This blog is now deprecated. You're probably looking for the latest version of the Liquid Haskell site, which can be found in the main LH repository.

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

• Teasers