tonyday567 - posts and repos

haskell; literate & lazy

ghcjs-testing Build Status

minimal ghcjs install and test page

free-stuff Build Status

What is the free object of a commutative monoid?

tower Build Status

a numerical tower

words Build Status

counting words in haskell

chart-unit Build Status

a small selection of unital charts

online Build Status

statistics over foldables

readme-lhs Build Status

lazy literate programming

footnotes

compile recipe for this blog:

stack install && blog-compile

Turtle

import Protolude hiding (FilePath)
import Turtle hiding ((<>))
blog = "https://tonyday567.github.io/"
postDeco (name,desc) = 
    "[" <> name <> "](" <> blog <> name <> "/)  " <> "[![Build Status](https://travis-ci.org/tonyday567/" <> name <> ".png)](https://travis-ci.org/tonyday567/" <> name <> ")"<> "\n---\n" <> desc <> "\n\n"
posts =
  [ ("ghcjs-testing","minimal ghcjs install and test page")
  , ("free-stuff", "What is the free object of a commutative monoid?")
  , ("tower", "a numerical tower")
  , ("words", "counting words in haskell")
  , ("chart-unit", "a small selection of unital charts\n\n![](other/exampleScatter.svg)")
  , ("online", "statistics over foldables")
  , ("readme-lhs", "lazy literate programming")
  ]
main :: IO ()
main = do
  writeFile "other/posts.md" $ (mconcat $ postDeco <$> posts)

  -- extra assets
  shell "cd ~/git/tonyday567.github.io" empty
  shell "cp ~/git/tower-dev/docs/* ~/git/tonyday567.github.io/other/" empty
  shell "cp ~/git/readme-lhs/other/lhs.css ~/git/tonyday567.github.io/other/" empty
  shell "cp ~/git/readme-lhs/other/header.md ~/git/tonyday567.github.io/other/" empty
  shell "cp ~/git/chart-unit/other/exampleScatter.png ~/git/tonyday567.github.io/other/" empty
  shell "cp ~/git/chart-unit/other/exampleScatter.svg ~/git/tonyday567.github.io/other/" empty
  shell "cp ~/git/tower-dev/other/tower-algebra.html ~/git/tonyday567.github.io/other/" empty
  shell "cp ~/git/tower-dev/other/tower-bench.html ~/git/tonyday567.github.io/other/" empty

  -- main render
  shell "pandoc -f markdown+lhs -t html -i src/compile.lhs -o index.html --filter pandoc-include" empty
  shell "pandoc -f markdown+lhs -t markdown -i src/compile.lhs -o readme.md --filter pandoc-include" empty
  echo "the blog, the blog!"