Site is generated by Hakyll.

cabal build
cabal run my-site -- build

To build the executable posts uncomment some of the sections in my-site.cabal and set compiler in cabal.project to GHC 8.6.5. Please note that this GHC version is not available on ARM Macs.

• cabal run users-api: example from Haskell — a higher order language.
• cabal run elevator: example from Modeling state machines with dependent types in Haskell: Part 1.
• cabal run atm: example from Dependent types to code are what static types to data (state machines: part 2).

Content - Creative Commons Attribution-ShareAlike CC BY-SA

Code - MIT