Getting started

  1. Compile: idris2 Ddraig.idr -o ddraig
  2. Build: ddraig build examples _site