Setup Instructions
- Install hugo
- Clone this repository adjacent to coalton
~/lisp/coalton
~/lisp/coalton-website
- Pull submodules
git submodule update --init
- In this repository run
hugo serve
- In coalton run
make web-docs
~/lisp/coalton
~/lisp/coalton-website
git submodule update --init
hugo serve
make web-docs