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