package camyll

You can search for identifiers within the package.

in-package search v0.2.0

A static site generator

Install

sha256=537f36b0443c44ac8b08c2e133e1fe02131ee33a1a9687741012861c92493fc2

sha512=5796953d0689b9de7594b87feb9dd46467c306a9858897e46ac24c4679557c0701c62ae24196c1dd1291dc782e92ff66b357de32e2a1016f768ef903ddffe20f

Camyll is a static site generator that I originally wrote for my personal site.

Camyll is aware of Literate Agda and will invoke the agda binary on it.