Site is generated by Hakyll.
cabal build
cabal run my-site -- buildTo 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
