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