Colors in lhs2TeX

Posted on 2018-06-21 by Oleg Grenrus notes

An example of colorful lhs2TeX file. See the source at https://github.com/phadej/gists/blob/master/posts/2018-06-21-colors-in-lhs2tex.tex 1, and the result PDF at https://github.com/phadej/gists/blob/master/pdf/ColorsInLhs2TeX.pdf

module ColorsInLhs2TeX where

newtype Foo = MkFoo Int

plusFoo :: Foo -> Foo -> Int
plusFoo (MkFoo n) (MkFoo m) = n + m

  1. It’s named tex to trick Pandoc in my blog setup

Site proudly generated by Hakyll